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 [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user
