Clifford Wolf d0e93e04d1 Added eval -brute_force_equiv_checker_x mode

2013-08-15 11:09:30 +02:00

..

abc

Added $lut cells and abc lut mapping support

2013-07-23 16:19:34 +02:00

cmds

Improved handling of private names in opt_clean and rename commands

2013-08-07 18:39:49 +02:00

dfflibmap

Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib

2013-03-27 10:51:15 +01:00

extract

Automatically run "proc" on extract map files

2013-07-24 20:19:08 +02:00

fsm

Some fixes to improve determinism

2013-08-09 12:42:32 +02:00

hierarchy

Improved log messages generated by hierarchy pass

2013-05-26 12:20:51 +02:00

memory

Added -nomap option to memory pass

2013-03-21 09:11:06 +01:00

opt

Added "clean -purge" and ";;;" support

2013-08-11 13:59:14 +02:00

proc

Added nosync attribute and some async reset related fixes

2013-03-25 17:13:14 +01:00

sat

Added eval -brute_force_equiv_checker_x mode

2013-08-15 11:09:30 +02:00

scc

fixed typos

2013-03-18 07:28:31 +01:00

submod

Renamed opt_rmunused to opt_clean

2013-06-05 07:07:31 +02:00

techmap

Added techmap -opt mode

2013-08-09 15:20:22 +02:00