Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. - Roig, Oriol; Cortadella, Jordi; Peña, Marco A.; Pastor, Enric (1997)