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