A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware.

Julien Schmaltz

Browse the full FMCAD paper archive.