Observable time windows: Verifying the results of high-level synthesisReinaldo A. BergamaschiS. Raje1996EDTC 1996
Observable time windows: Verifying the results of high-level synthesisReinaldo A. BergamaschiS. Raje1996EDTC 1996