 | 1998 |
|---|
| 4 |       | 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 | | 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 |
