Eddie Hung bca3cf6843 Merge branch 'master' into xaig

2019-04-08 16:31:59 -07:00

..

aiger

Support and differentiate between ASCII and binary AIG testing

2019-02-08 12:41:59 -08:00

asicworld

Fix FIRRTL to Verilog process instance subfield assignment.

2019-02-25 16:18:13 -08:00

bram

…

errors

…

fsm

…

hana

…

liberty

Liberty file parser now accepts superfluous ;

2019-03-27 15:16:19 +01:00

lut

cmp2lut: new techmap pass.

2019-01-02 07:53:31 +00:00

memories

…

opt

Fix WREDUCE on FF not fixing ARST_VALUE parameter.

2019-02-22 10:30:42 -08:00

realmath

…

sat

…

share

…

simple

fix local name resolution in prefix constructs

2019-03-18 20:43:20 -04:00

simple_abc9

Uncomment out more tests

2019-02-26 12:18:48 -08:00

smv

…

sva

Fix "verific -extnets" for more complex situations

2019-03-26 14:17:46 +01:00

svinterfaces

…

techmap

Move tests/techmap/abc9 to simple_abc9

2019-02-20 15:34:59 -08:00

tools

Merge branch 'master' into xaig

2019-04-08 16:31:59 -07:00

unit

…

various

Address requested changes - don't require non-$ name.

2019-02-22 16:06:10 -08:00

vloghtb

…