phsauter 28771fcfa8 abc: add input, output fle substitution		2024-09-19 18:06:42 +02:00
..
cmds	Merge pull request #4538 from RCoeurjoly/verific_bounds	2024-09-12 13:04:04 +02:00
equiv	equiv_simple: Take FFs into account for driver map	2024-02-21 12:05:52 +01:00
fsm	add option to fsm_detect to ignore self-resetting	2023-01-30 16:12:53 +01:00
hierarchy	cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter	2024-07-29 10:26:02 +02:00
memory	memory_map: Explain -iattr better	2024-03-06 15:15:37 +01:00
opt	Merge pull request #4176 from povik/opt_expr-performance	2024-07-15 16:10:25 +02:00
pmgen	Merge pull request #4452 from phsauter/shiftadd-underflow-fix	2024-08-19 15:45:46 +02:00
proc	proc_dff: respect sync rule priorities when generating complex dffsrs	2024-08-28 15:48:07 +01:00
sat	add -fst-noinit flag to sim for not initializing the state from the fst file	2024-08-21 11:03:29 +01:00
techmap	abc: add input, output fle substitution	2024-09-19 18:06:42 +02:00
tests	cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter	2024-07-29 10:26:02 +02:00