Frank Proesmans

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

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)