1998 |
4 | EE | Adrian Evans,
Allan Silburt,
Gary Vrckovnik,
Thane Brown,
Mario Dufresne,
Geoffrey Hall,
Tung Ho,
Ying Liu:
Functional Verification of Large ASICs.
DAC 1998: 650-655 |
1995 |
3 | EE | Allan Silburt,
Ian Perryman,
Janick Bergeron,
Stacy Nichols,
Mario Dufresne,
Greg Ward:
Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation.
DAC 1995: 528-533 |
1993 |
2 | | Karim Khordoc,
Mario Dufresne,
Eduard Cerny,
P. A. Babkine,
Allan Silburt:
Integrating Behavior and Timing in Executable Specifications.
CHDL 1993: 399-416 |
1991 |
1 | | Karim Khordoc,
Mario Dufresne,
Eduard Cerny:
A Stimulus/Response System Based on Hierarchical Timing Diagrams.
ICCAD 1991: 358-361 |