riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/passes/sat
History
Jannis Harder ad2b04d63a sim: Fix cosimulation with nested modules having unconnected inputs 
When assigning values to input ports of nested modules in cosimulation,
sim needs to find the actual driver of the signal to perform the
assignment. The existing code didn't handle unconnected inputs in that
scenario.
 		2023-05-18 16:50:11 +02:00
..
Makefile.inc Initial implementation of synthesizable assertions 2023-02-13 17:23:26 +01:00
assertpmux.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
async2sync.cc async2sync: turn FFs with const clks into gclk FFs with feedback 2022-06-30 12:09:04 +02:00
clk2fflogic.cc clk2fflogic: Always correctly handle simultaneously changing signals 2022-10-07 16:04:51 +02:00
cutpoint.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
eval.cc Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02: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 Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fmcombine.cc fmcombine: Add _gold/_gate suffix to memids 2022-06-03 21:52:28 +02:00
fminit.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
formalff.cc formalff: Fix crash with _NOT_ gates in -hierarchy mode 2023-01-25 12:55:29 +01:00
freduce.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
miter.cc Add gold-x handing to miter cross port handling 2022-12-08 22:14:16 +01:00
mutate.cc mutate: warn if less mutations possible than number requested 2022-10-05 10:59:38 +02:00
qbfsat.cc Deprecate gcc-4.8 2023-01-11 09:54:19 +01:00
qbfsat.h Deprecate gcc-4.8 2023-01-11 09:54:19 +01:00
sat.cc sat: Add -set-def-formal option to force defined $any* outputs 2022-11-28 14:50:52 +01:00
sim.cc sim: Fix cosimulation with nested modules having unconnected inputs 2023-05-18 16:50:11 +02:00
supercover.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
synthprop.cc Update license 2023-02-13 17:23:26 +01:00