Mario Dufresne

Publication Activity (10 Years)

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

Publications

Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu
Functional Verification of Large ASICs. DAC (1998)
Allan Silburt, Ian Perryman, Janick Bergeron, Stacy Nichols, Mario Dufresne, Greg Ward
Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation. DAC (1995)
Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt
Integrating Behavior and Timing in Executable Specifications. CHDL (1993)
Karim Khordoc, Mario Dufresne, Eduard Cerny
A Stimulus/Response System Based on Hierarchical Timing Diagrams. ICCAD (1991)