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. - Mark Genoe; Luc J. M. Claesen; Eric Verlind; Frank Proesmans; Hugo De Man (ICCD, 1991)