Jannis Harder 62b4df4989 dft_tag: Implement $overwrite_tag and $original_tag ... This does not correctly handle an `$overwrite_tag` on a module output, but since we currently require the user to flatten the design for cross-module dft, this cannot be observed from within the design, only by manually inspecting the signals in the design.		2023-09-13 11:32:36 +02:00
..
Makefile.inc	Add opt_ffinv pass.	2022-05-13 23:02:30 +02:00
muxpack.cc
opt.cc	opt_merge: Add -keepdc option required for formal verification	2022-04-01 21:03:20 +02:00
opt_clean.cc	dft_tag: Implement $overwrite_tag and $original_tag	2023-09-13 11:32:36 +02:00
opt_demorgan.cc
opt_dff.cc	Fitting help messages to 80 character width	2022-08-24 10:40:57 +12:00
opt_expr.cc	opt_expr: Fix 'signed X>=0' replacement for wide output ports	2023-08-01 13:50:12 +01:00
opt_ffinv.cc	Fixes for some of clang scan-build detected issues	2023-01-17 12:58:08 +01:00
opt_lut.cc
opt_lut_ins.cc	ecp5_gsr -> lattice_gsr, change opt_lut_ins to accept lattice as tech	2023-08-22 10:50:11 +02:00
opt_mem.cc	opt_mem: Remove constant-value bit lanes.	2022-05-07 23:13:16 +02:00
opt_mem_feedback.cc
opt_mem_priority.cc	opt_mem_priority: Fix non-ascii char in help message.	2021-12-09 00:56:14 +01:00
opt_mem_widen.cc	Add opt_mem_widen pass.	2021-08-14 01:06:23 +02:00
opt_merge.cc	opt_merge: Add -keepdc option required for formal verification	2022-04-01 21:03:20 +02:00
opt_muxtree.cc
opt_reduce.cc	opt_reduce: Fix use-after-free.	2022-07-23 17:27:26 +02:00
opt_share.cc	opt_share: Fix input confusion with ANDNOT, ORNOT gates	2023-07-20 20:58:52 +01:00
pmux2shiftx.cc
rmports.cc
share.cc
wreduce.cc	wreduce: Group reconnections	2023-08-04 14:43:59 +01:00