Clifford Wolf 7dad017c9c abc/blifparse files reorganization

2015-05-17 14:44:28 +02:00

..

cmds

Preserve important attributes in splitnets

2015-04-29 07:44:57 +02:00

equiv

Replaced ezDefaultSAT with ezSatPtr

2015-02-21 12:15:41 +01:00

fsm

Added $eq/$neq -> $logic_not/$reduce_bool optimization

2015-04-29 07:28:15 +02:00

hierarchy

Added "dffinit", Support for initialized Xilinx DFF

2015-04-04 19:00:15 +02:00

memory

Fixed memory_unpack for initialized memories

2015-04-29 19:55:32 +02:00

opt

Added $eq/$neq -> $logic_not/$reduce_bool optimization

2015-04-29 07:28:15 +02:00

proc

Minor fixes in handling of "init" attribute

2015-04-09 15:12:26 +02:00

sat

don't consider blackbox modules in "sat" command

2015-04-18 09:29:03 +02:00

techmap

abc/blifparse files reorganization

2015-05-17 14:44:28 +02:00

tests

Replaced ezDefaultSAT with ezSatPtr

2015-02-21 12:15:41 +01:00