diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-07-12 15:57:04 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-07-12 15:57:04 +0200 |
commit | 10c7709e68e63e8805e92ced447517a7ce6eb4d3 (patch) | |
tree | f21934acf906a50f85525abfd8a3f465df8b83e7 /backends/spice/spice.cc | |
parent | 4a8c131fa788b0db1e2bcd155dfa9748e6fb196f (diff) | |
download | yosys-10c7709e68e63e8805e92ced447517a7ce6eb4d3.tar.gz yosys-10c7709e68e63e8805e92ced447517a7ce6eb4d3.tar.bz2 yosys-10c7709e68e63e8805e92ced447517a7ce6eb4d3.zip |
Generate FSM-style testbenches in smtbmc
Diffstat (limited to 'backends/spice/spice.cc')
0 files changed, 0 insertions, 0 deletions