Formal verification of pipeline control using controlled token nets and abstract interpretation.

Pei-Hsin Ho, Adrian J. Isles, Timothy Kam

Browse the full ICCAD paper archive.