github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-04 07:10:19 +00:00
Code Issues Releases Wiki Activity
Files
dbf11da50a8364d1961c5b203058b518b47dff1c
YosysHQ.yosys/passes/equiv
History
Martin Povišer dbf11da50a equiv_simple: Do not special-case flip-flop types in cone expansion 
If there's an asynchronous flip-flop type, it will be caught by not
having a synchronous SAT model later on. Otherwise we can support all
flip-flops.
2023-10-03 13:05:42 +02:00
..
equiv_add.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_induct.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_make.cc
Merge pull request #3126 from georgerennie/equiv_make_assertions
2023-02-14 17:15:55 +01:00
equiv_mark.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_miter.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_opt.cc
Add "check -assert" to equiv_opt
2022-10-07 16:04:51 +02:00
equiv_purge.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_remove.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_simple.cc
equiv_simple: Do not special-case flip-flop types in cone expansion
2023-10-03 13:05:42 +02:00
equiv_status.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
equiv_struct.cc
Fixing old e-mail addresses and deadnames
2021-06-08 00:39:36 +02:00
Makefile.inc
equiv_opt: new command, for verifying optimization passes.
2018-12-07 17:20:34 +00:00