| 1999 |
|---|
| 7 | EE | Ying Xu,
Eduard Cerny,
Allan Silburt,
A. Coady,
Ying Liu,
Philip Pownall:
Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors.
CHARME 1999: 110-124 |
| 1998 |
|---|
| 6 | 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 |
| 1997 |
|---|
| 5 | | Allan Silburt:
ASIC/system hardware verification at Nortel: a view from the trenches.
CHARME 1997: 1 |
| 1995 |
|---|
| 4 | 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 |
|---|
| 3 | | Karim Khordoc,
Mario Dufresne,
Eduard Cerny,
P. A. Babkine,
Allan Silburt:
Integrating Behavior and Timing in Executable Specifications.
CHDL 1993: 399-416 |
| 1990 |
|---|
| 2 | EE | Benoit Nadeau-Dostie,
Allan Silburt,
Vinod K. Agarwal:
Serial Interfacing for Embedded-Memory Testing.
IEEE Design & Test of Computers 7(2): 52-63 (1990) |
| 1988 |
|---|
| 1 | EE | Allan Silburt,
A. R. Boothroyd,
M. Digiovanni:
Automated parameter extraction and modeling of the MOSFET below threshold.
IEEE Trans. on CAD of Integrated Circuits and Systems 7(4): 484-488 (1988) |
