C-Elegans 94b272077d Fix issue #306, "Bug in opt -full" ...

Add check for whether the high bit in the constant expression is greater
than the width of the variable, and optimizes that to a constant 1 or
0

2017-02-10 10:38:02 -05:00

..

cmds

Added "check -initdrv"

2017-01-04 18:12:41 +01:00

equiv

Add $ff and $_FF_ support to equiv_simple

2017-01-30 10:50:38 +01:00

fsm

Be more conservative with merging large cells into FSMs

2017-01-26 09:19:28 +01:00

hierarchy

Add $cover cell type and SVA cover() support

2017-02-04 14:14:26 +01:00

memory

Typo fix.

2016-09-08 10:57:16 +03:00

opt

Fix issue #306, "Bug in opt -full"

2017-02-10 10:38:02 -05:00

proc

Added $global_clock verilog syntax support for creating $ff cells

2016-10-14 12:33:56 +02:00

sat

Bugfix in "miter -assert" handling of assumptions

2016-10-17 14:56:58 +02:00

techmap

Update ABC scripts to use "&nf" instead of "map"

2017-02-01 11:15:20 +01:00

tests

Cosmetic fix in test_autotb.cc

2016-09-19 20:43:43 +02:00