Re: gEDA-user: Free logic optimization software

[al davis <ad252@xxxxxxxxxxxxxxxx>]

On Saturday 06 June 2009, Jorge Juan wrote:
> I teach a basic digital circuit design curse at the
> university for first-year students. I plan to incorporate
> HDL, behavioral descriptions, simulation and logic
> optimization next year.
>
> I find Icarus Verilog plus gtkwave and the rest of GEDA tools
> ideal for the task, but cant find a way to do logic
> optimization within the geda framework. The icarus 0.8.x
> README tells logic optimization can be enabled through the
> "-F" option, but it is not documented in the man page. Logic
> synthesis to edif works fine but optimization is not applied.
>
> Some simple optimization targeting basic logic (AND, OR, NOT)
> would be ideal for me. Integration in Icarus would be
> perfect.
>
> Do you know of available options within geda or free
> software.

Not integrated with anything, but there is a package "qmc".

Supposedly it is available at:
http://qmc.pollaknet.at
but it seems to be down.

There is a Debian package "qmc".
===========
Description: Quine McClusky Simplification Tool
 This tool optimizes boolean expressions using the Quine 
McClusky process.
===========

I have not used it, so I don't know how useful it is.



_______________________________________________
geda-user mailing list
geda-user@xxxxxxxxxxxxxx
http://www.seul.org/cgi-bin/mailman/listinfo/geda-user