3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-22 05:43:40 +00:00
yosys/passes/sat
Krystine Sherwin d0b9a0cb98
sim.cc: Move cycle check
Calling `throw dst_end_of_data_exception()` when the desired number of cycles has been reached means that the fst reader can't tidy up after itself and leads to memory leaks.
This doesn't happen when the `-stop` flag is used because the `Yosys::FstData` struct tracks the end time and skips the outer callback if the simulation has gone past the desired end time.
Move cycle checking into the inner callback along with the time checking means that the outer callback no longer needs to throw an exception in order to stop checking further values, while still allowing the fst reader to finish reading and deallocate memory.
2025-05-12 12:48:01 +12:00
..
assertpmux.cc io: refactor string and file work into new unit 2025-03-19 13:43:42 +01:00
async2sync.cc async2sync, clk2fflogic: Add support for $check and $print cells 2024-02-01 20:10:39 +01:00
clk2fflogic.cc clk2fflogic: run peepopt -formalclk before processing design 2024-08-07 10:14:04 +01:00
cutpoint.cc cutpoint.cc: Fold -instances into -blackbox 2025-04-11 04:12:35 +12:00
eval.cc rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +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 rtlil: represent Const strings as std::string 2024-10-14 06:28:12 +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 -declockgate test and missing emit for memories 2025-04-18 18:57:59 +02:00
freduce.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
Makefile.inc Add recover_names pass to recover names post-mapping 2023-05-25 10:55:07 +02:00
miter.cc Add gold-x handing to miter cross port handling 2022-12-08 22:14:16 +01:00
mutate.cc hashlib: redo interface for flexibility 2024-12-18 14:49:25 +01: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
recover_names.cc mark all hash_into methods nodiscard 2025-01-14 12:39:15 +01:00
sat.cc driver: allow --no-version still write things like Generated by Yosys 2025-05-07 11:34:23 +02:00
sim.cc sim.cc: Move cycle check 2025-05-12 12:48:01 +12:00
supercover.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
synthprop.cc synthprop: Reformat the help 2024-07-25 11:43:58 +02:00