Re: gEDA-user: Free logic optimization software

[Jorge Juan <jjchico@xxxxxxxxx>]

   Thanks. I'll give a try.

   2009/6/6 al davis <[1]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:
     [2]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
     [3]geda-user@xxxxxxxxxxxxxx
     [4]http://www.seul.org/cgi-bin/mailman/listinfo/geda-user

   --
   Jorge Juan

References

   1. mailto:ad252@xxxxxxxxxxxxxxxx
   2. http://qmc.pollaknet.at/
   3. mailto:geda-user@xxxxxxxxxxxxxx
   4. http://www.seul.org/cgi-bin/mailman/listinfo/geda-user


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