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

ABD - The alternative: Simulation

The alternative is extensive simulation with overnight testing for regressions.

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

(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.