Clifford Wolf f7fb21f185 Added "muxcover" command		2015-04-07 15:42:25 +02:00
..
abc	Added $_MUX4_, $_MUX8_, and $_MUX16_ cell types	2015-04-05 09:45:14 +02:00
cmds	typo fix	2015-04-07 07:43:01 +02:00
equiv	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
fsm	Added onehot attribute	2015-02-04 18:52:54 +01:00
hierarchy	Added "dffinit", Support for initialized Xilinx DFF	2015-04-04 19:00:15 +02:00
memory	Added support for initialized brams	2015-04-06 17:06:15 +02:00
opt	Added non-std verilog assume() statement	2015-02-26 18:47:39 +01:00
proc	Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.	2015-02-24 11:01:00 +01:00
sat	Added non-std verilog assume() statement	2015-02-26 18:47:39 +01:00
techmap	Added "muxcover" command	2015-04-07 15:42:25 +02:00
tests	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00