diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-08-18 10:24:14 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-08-18 10:24:14 +0200 |
| commit | 0be738eaac7808f4362ef265c7a3e1f2e6a15deb (patch) | |
| tree | bbd0f82dc0d424eef1721dc1a1ae44c3e8c18f2f /passes/sat/expose.cc | |
| parent | 92e4b5aa77363faf71f60c93d1ce9ed57d4cb593 (diff) | |
| download | yosys-0be738eaac7808f4362ef265c7a3e1f2e6a15deb.tar.gz yosys-0be738eaac7808f4362ef265c7a3e1f2e6a15deb.tar.bz2 yosys-0be738eaac7808f4362ef265c7a3e1f2e6a15deb.zip | |
Add support for assert/assume/cover to "sim" command
Diffstat (limited to 'passes/sat/expose.cc')
0 files changed, 0 insertions, 0 deletions