Aman Goel 8b9a8c7f91 Minor correction ...

Minor typo error correction in -expose with setundef

2018-05-14 18:58:49 -04:00

..

cmds

Minor correction

2018-05-14 18:58:49 -04:00

equiv

Improve log messages in equiv_make

2018-01-19 16:20:40 +01:00

fsm

Remove some dead code from fsm_map

2017-08-21 15:02:16 +02:00

hierarchy

Add "hierarchy -simcheck"

2018-05-12 13:59:13 +02:00

memory

Add "memory_nordff" pass

2018-03-06 23:31:51 +01:00

opt

Add optimization of tristate buffer with constant control input

2018-05-12 15:18:27 +02:00

proc

Add warnings for driver-driver conflicts between FFs (and other cells) and constants

2017-12-12 17:13:27 +01:00

sat

Removed $timescale from "sat" command VCD writer

2018-03-29 12:38:41 +02:00

techmap

Add ABC FAQ to "help abc"

2018-05-04 21:59:31 +02:00

tests

Add $live and $fair cell types, add support for s_eventually keyword

2017-02-25 10:36:39 +01:00