Login / Signup

A methodology for correct-by-construction latency insensitive design.

Luca P. CarloniKenneth L. McMillanAlexander SaldanhaAlberto L. Sangiovanni-Vincentelli
Published in: ICCAD (1999)
Keyphrases