mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity
yosys/passes/sat
History
Marcelina Kościelnicka 03e28f7ab4 clk2fflogic: Consistently treat async control signals as negative hold. 
This fixes some dfflegalize equivalence checks, and breaks others — and
I strongly suspect the others are due to bad support for multiple
async inputs in `proc` (in particular, lack of proper support for
dlatchsr and sketchy circuits on dffsr control inputs).
2020-07-09 18:12:47 +02:00
..
assertpmux.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
async2sync.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
clk2fflogic.cc clk2fflogic: Consistently treat async control signals as negative hold. 2020-07-09 18:12:47 +02:00
cutpoint.cc Merge pull request #2173 from whitequark/use-cxx11-final-override 2020-06-19 06:15:33 +00:00
eval.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
example.v Added support for shifter cells to SAT generator 2013-06-08 15:12:08 +02:00
example.ys Fixes in old SAT example.ys 2014-09-01 11:45:47 +02:00
expose.cc Give error that options are exclusive 2020-06-29 14:45:49 +02:00
fmcombine.cc fmcombine: use the master ff cell type list 2020-06-30 21:07:17 +02:00
fminit.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
freduce.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
Makefile.inc Add WASI platform support. 2020-04-30 18:56:25 +00:00
miter.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
mutate.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
qbfsat.cc qbfsat: Remove useless comment and #ifndef guards. 2020-07-01 19:55:16 +00:00
qbfsat.h qbfsat: Clean up and refactor data structures into qbfsat.h. 2020-07-01 19:55:16 +00:00
sat.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
sim.cc sim - error when memrd and memwr detected 2020-06-29 10:33:39 +02:00
supercover.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00