Frank Proesmans

According to our database, Frank Proesmans authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1991

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

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991