A symbolic-simulation approach to the timing verification of interacting FSMs.

Ajay J. Daga, William P. Birmingham

Browse the full ICCD paper archive.