mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 01:24:10 +00:00
Code Activity
yosys/backends/smt2
History
Marcelina Kościelnicka c4cc888b2c kernel/rtlil: Extract some helpers for checking memory cell types. 
There will soon be more (versioned) memory cells, so handle passes that
only care if a cell is memory-related by a simple helper call instead of
a hardcoded list.
2021-05-22 21:43:00 +02:00
..
.gitignore Various fixes and improvements in "write_smt2 -bv" 2014-12-25 20:28:34 +01:00
example.v Added smtbmc.py 2015-10-13 17:17:23 +02:00
example.ys Added smtbmc.py 2015-10-13 17:17:23 +02:00
Makefile.inc Support custom PROGRAM_PREFIX 2020-04-10 10:38:40 +02:00
smt2.cc kernel/rtlil: Extract some helpers for checking memory cell types. 2021-05-22 21:43:00 +02:00
smtbmc.py smtbmc: escape identifiers in verilog testbench 2020-10-06 11:27:14 +02:00
smtio.py smtio: Emit mode: start options before set-logic command and any other options after it. 2020-07-20 22:09:44 +00:00
test_cells.sh Various fixes and improvements in "write_smt2 -bv" 2014-12-25 20:28:34 +01:00