Jannis Harder 6c4902313b chformal: Support $check cells and add chformal -lower ...

This adds support for `$check` cells in chformal and adds a `-lower`
mode which converts `$check` cells into `$assert` etc. cells with a
`$print` cell to output the `$check` message.

2024-02-01 20:10:39 +01:00

..

add.cc

Fixing old e-mail addresses and deadnames

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

autoname.cc

Speed up the autoname pass by 3x. (#3945)

2023-09-21 09:46:49 +00:00

blackbox.cc

Fixing old e-mail addresses and deadnames

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

bugpoint.cc

Fixes for some of clang scan-build detected issues

2023-01-17 12:58:08 +01:00

check.cc

check: Also check for conflicts with constant drivers

2023-06-23 18:07:28 +02:00

chformal.cc

chformal: Support $check cells and add chformal -lower

2024-02-01 20:10:39 +01:00

chtype.cc

Fixing old e-mail addresses and deadnames

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

clean_zerowidth.cc

Add $bmux and $demux cells.

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

connect.cc

Fixing old e-mail addresses and deadnames

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

connwrappers.cc

Fixing old e-mail addresses and deadnames

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

copy.cc

Fixing old e-mail addresses and deadnames

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

cover.cc

Fixing old e-mail addresses and deadnames

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

delete.cc

rtlil: Make Process handling more uniform with Cell and Wire.

2021-07-12 00:47:34 +02:00

design.cc

Fixes for some of clang scan-build detected issues

2023-01-17 12:58:08 +01:00

dft_tag.cc

dft_tag: Fix size extending $x[n]or and $reduce_{or,bool}/$logic_not

2023-09-28 17:33:55 +02:00

edgetypes.cc

Fixing old e-mail addresses and deadnames

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

exec.cc

Deprecate gcc-4.8

2023-01-11 09:54:19 +01:00

future.cc

Add future pass to resolve $future_ff cells

2023-09-13 11:32:36 +02:00

glift.cc

Fix translation bug: The old code really checks for the presense of a node, not an edge in glift and flatten.

2023-10-05 17:01:42 -07:00

logcmd.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

logger.cc

Deprecate gcc-4.8

2023-01-11 09:54:19 +01:00

ltp.cc

Fixing old e-mail addresses and deadnames

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

Makefile.inc

Add future pass to resolve $future_ff cells

2023-09-13 11:32:36 +02:00

plugin.cc

plugin: shuffled the #ifdef WITH_PYTHON's around to un-tangle the code and pulled out the check for the .py extension so it will complain if you try to load a python extension without python support

2023-05-03 03:35:55 -04:00

portlist.cc

Fixing old e-mail addresses and deadnames

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

printattrs.cc

Use C++11 final/override keywords.

2020-06-18 23:34:52 +00:00

qwp.cc

Fixing old e-mail addresses and deadnames

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

rename.cc

Use clk2fflogic attr on cells to track original FF names in witnesses

2023-05-25 12:48:02 +02:00

scatter.cc

Fixing old e-mail addresses and deadnames

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

scc.cc

scc: Use hashlib instead of STL for deterministic behaviour

2023-10-07 10:43:00 +02:00

scratchpad.cc

Fitting help messages to 80 character width

2022-08-24 10:40:57 +12:00

select.cc

Rst docs conversion (#3496)

2022-11-15 12:55:22 +01:00

setattr.cc

Fixing old e-mail addresses and deadnames

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

setundef.cc

xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef

2023-01-11 18:07:16 +01:00

show.cc

show: allow setting colors via selection on PROC boxes

2024-01-15 17:47:59 +01:00

splice.cc

Fixing old e-mail addresses and deadnames

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

splitcells.cc

Improve splitcells pass

2023-01-18 00:31:29 +01:00

splitnets.cc

Fixing old e-mail addresses and deadnames

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

sta.cc

sta: warn on unrecognised cells only once

2022-06-08 09:31:49 +01:00

stat.cc

Fix typo in stat help

2024-01-21 16:32:05 -05:00

tee.cc

tee: Allow logging command output to a given scratchpad value

2022-12-02 14:36:19 +01:00

torder.cc

Add v2 memory cells.

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

trace.cc

Fixing old e-mail addresses and deadnames

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

viz.cc

Improvements in "viz" pass

2022-12-09 18:28:17 +01:00

write_file.cc

Fixing old e-mail addresses and deadnames

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

xprop.cc

xprop: Fix polarity errors and generate hdlnames

2023-09-06 19:25:47 +02:00