| |
| 1991 | ||
|---|---|---|
| 1 | Mark Genoe, Luc J. M. Claesen, Eric Verlind, Frank Proesmans, Hugo De Man: Illustration of the SFG-Tracing Multi-Level Behavioral Verification Methodology, by the Correctness Proof of a High to Low Level Synthesis Application in CATHEDRAL-II. ICCD 1991: 338-341 | |
| 1 | Luc J. M. Claesen | [1] |
| 2 | Mark Genoe | [1] |
| 3 | Hugo De Man | [1] |
| 4 | Eric Verlind | [1] |