Jannis Harder e0e31bfc5c Merge pull request #3257 from jix/tribuf-formal ...

tribuf: `-formal` option: convert all to logic and detect conflicts

2022-04-25 16:23:06 +02:00

..

cmds

show: Fix width labels.

2022-04-04 22:48:09 +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

Reorder steps in -auto-top to fix synth command, fixes #3261

2022-04-05 14:02:37 +02:00

memory

memory_share: Fix up mismatched address widths.

2022-04-15 22:01:00 +02:00

opt

opt_dff: Fix behavior on $ff with D == Q.

2022-04-15 22:00:32 +02:00

pmgen

Update comment

2022-02-02 03:21:09 +01:00

proc

proc_dff: Emit $aldff.

2021-10-27 14:14:24 +02:00

sat

Match $anyseq input if connected to public wire

2022-04-22 17:20:17 +02:00

techmap

tribuf: -formal option: convert all to logic and detect conflicts

2022-04-12 12:46:22 +02:00

tests

Add $bmux and $demux cells.

2022-01-28 23:34:41 +01:00