search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

Question: Is it possible to get full trace when using option skip #283

Closed Topi-ab closed 1 week ago

Topi-ab commented 2 weeks ago

If I know my model isn't meeting cover until clock #1000. I would like to use skip 995 in my sby file.

But this only produces vcd trace of 6 clock cycles.

Is it possible to get full 1000 cycles vcd trace?