This tester runs a VCD file against a circuit expressed in a firrtl file. The VCD file should
have been produced by running a test harness against the circuit. This test can be used to
generate circuit behavior while running symbolic or concolic testing.
It can also be used to determine if later changes to a circuit have changed since some original
correct **golden** run of the circuit
For example use the main below to run the VcdAdder files contained in the src/test/resources directory
This tester runs a VCD file against a circuit expressed in a firrtl file. The VCD file should have been produced by running a test harness against the circuit. This test can be used to generate circuit behavior while running symbolic or concolic testing. It can also be used to determine if later changes to a circuit have changed since some original correct **golden** run of the circuit For example use the main below to run the VcdAdder files contained in the src/test/resources directory
sbt 'run-main firrtl_interpreter.VcdReplayTester -fs src/test/resources/VcdAdder.fir \ -vcd src/test/resources/VcdAdder.vcd'