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. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991. pages 338-341, IEEE Computer Society, 1991.
Abstract is missing.