aboutsummaryrefslogtreecommitdiffstats
path: root/backends/btor
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2020-06-07 03:45:53 +0000
committerwhitequark <whitequark@whitequark.org>2020-06-07 03:48:00 +0000
commit31f6c96b1fb0a3a6311a5aba404e96bbbe342dd9 (patch)
tree628f0af1ea41e84345615f63337dcbf1d5de2c40 /backends/btor
parent68362a90530328f15cb93a04f1b1cc65858b93c0 (diff)
downloadyosys-31f6c96b1fb0a3a6311a5aba404e96bbbe342dd9.tar.gz
yosys-31f6c96b1fb0a3a6311a5aba404e96bbbe342dd9.tar.bz2
yosys-31f6c96b1fb0a3a6311a5aba404e96bbbe342dd9.zip
cxxrtl: add a C API for writing VCD dumps.
This C API is fully featured.
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions