HOME       UP       PREV       FURTHER NOTES       NEXT (Formally Synthesised Bus Monitor)  

Validation using Simulation

The alternative to formal verification is validation using extensive simulation and overnight testing of the day's work using regression testing.

Can either write a RTL or ESL yes/no automaton as part of the test bench.

Spool outputs to file and diff against golden with PERL script.

Downfall of simulation: it's non-exhaustive and time consuming.

ABD benefits (and challenges):

But: Simulations

3: (C) 2008-11, DJ Greaves, University of Cambridge, Computer Laboratory.