Allan Silburt

Publication Activity (10 Years)

Years Active: 1988-2010
Publications (10 Years): 0

Publications

Mehdi Baradaran Tahoori, Ishwar Parulkar, Dan Alexandrescu, Kevin Granlund, Allan Silburt, Bapi Vinnakota
Panel: Reliability of data centers: Hardware vs. software. DATE (2010)
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)
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
ASIC/system hardware verification at Nortel: a view from the trenches. CHARME (1997)
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)
Benoit Nadeau-Dostie, Allan Silburt, Vinod K. Agarwal
Serial Interfacing for Embedded-Memory Testing. IEEE Des. Test Comput. 7 (2) (1990)
Allan Silburt, A. R. Boothroyd, M. Digiovanni
Automated parameter extraction and modeling of the MOSFET below threshold. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7 (4) (1988)