diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-06-16 23:12:03 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-06-16 23:12:03 +0200 |
commit | c23bbc429103ca84cb8a9cfb674aacf7d14109c6 (patch) | |
tree | 42eb83fd520b97825851773d5392f101254768aa /frontends | |
parent | d4f77d408c754285969969bda3a6985c1fbe9fb6 (diff) | |
download | yosys-c23bbc429103ca84cb8a9cfb674aacf7d14109c6.tar.gz yosys-c23bbc429103ca84cb8a9cfb674aacf7d14109c6.tar.bz2 yosys-c23bbc429103ca84cb8a9cfb674aacf7d14109c6.zip |
Add timescale and generated-by header to yosys-smtbmc MkVcd
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions