High level fault modeling of asynchronous circuits.

Ding Lu, Carol Q. Tong

Browse the full VTS paper archive.