Eric Verlind

According to our database, Eric Verlind authored at least 3 papers between 1991 and 1996.

Collaborative distances:

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

1996

Efficient Partial Enumeration for Timing Analysis of Asynchronous Systems.

Eric Verlind, Gjalt G. de Jong, Bill Lin

Proceedings of the 33st Conference on Design Automation, 1996

1994

A Time Abstraction Method for Efficient Verification of Communicating Systems.

Eric Verlind, Tilman Kolks, Gjalt G. de Jong, Bill Lin, Hugo De Man

Proceedings of the 31st Conference on Design Automation, 1994

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