Marcelina Kościelnicka 9cbff3a4a9 opt_merge: Remove and reinsert init when connecting nets. ...

Mutating the SigMap by adding a new connection will throw off FfInitVals
index.  Work around this by removing the relevant init values from index
whenever we connect nets, then re-add the new init value.

Should fix #2920.

2021-08-22 18:34:11 +02:00

..

cmds

logger: Add -check-expected subcommand.

2021-08-12 17:41:39 +02:00

equiv

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

fsm

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

hierarchy

Use new read_id_num helper function elsewhere in hierarchy.cc

2021-07-20 10:13:15 -04:00

memory

Add opt_mem_widen pass.

2021-08-14 01:06:23 +02:00

opt

opt_merge: Remove and reinsert init when connecting nets.

2021-08-22 18:34:11 +02:00

pmgen

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

proc

proc_prune: Make assign removal and promotion per-bit, remember promoted bits.

2021-08-14 15:26:11 +02:00

sat

memory: Introduce $meminit_v2 cell, with EN input.

2021-07-28 23:18:38 +02:00

techmap

Add v2 memory cells.

2021-08-11 13:34:10 +02:00

tests

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00