Support for loading stimulus from VCD file #1351
Labels
area: tests
Issue involves the testing system
resolution: wontfix
Closed; work won't continue on an issue or pull request
Author Name: Clifford Wolf (@cliffordwolf)
Original Redmine Issue: 1351 from https://www.veripool.org
A feature that allows loading a stimulus from a VCD file would be great. One application I am interested in, and could use this feature for, is replaying formal counter example traces in simulation. (I realize this is probably a bigger task.)
The text was updated successfully, but these errors were encountered: