System Level Design and Verification Using a Synchronous Language.

Grard Berry, Michael Kishinevsky, Satnam Singh

Browse the full ICCAD paper archive.