heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

VCD diagram export format #7

Closed hai-nguyen-van closed 7 years ago

hai-nguyen-van commented 7 years ago

Add export to Value Change Dump format standard (IEEE 1364) Suggested syntax: @output vcd (autorefine)? to [FILENAME] (select [CLK]⁺)?

hai-nguyen-van commented 7 years ago

Bad output for LightSwitch example

hai-nguyen-van commented 7 years ago

Bug coming from GTKWave