Allan Silburt

According to our database, Allan Silburt authored at least 8 papers between 1988 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2010

Panel: Reliability of data centers: Hardware vs. software.

Mehdi Baradaran Tahoori, Ishwar Parulkar, Dan Alexandrescu, Kevin Granlund, Allan Silburt, Bapi Vinnakota

Proceedings of the Design, Automation and Test in Europe, 2010

1999

Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors.

Ying Xu, Eduard Cerny, Allan Silburt, A. Coady, Ying Liu, Philip Pownall

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Functional Verification of Large ASICs.

Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu

Proceedings of the 35th Conference on Design Automation, 1998

1997

ASIC/system hardware verification at Nortel: a view from the trenches.

Allan Silburt

Proceedings of the Advances in Hardware Design and Verification, 1997

1995

Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation.

Allan Silburt, Ian Perryman, Janick Bergeron, Stacy Nichols, Mario Dufresne, Greg Ward

Proceedings of the 32st Conference on Design Automation, 1995

1993

Integrating Behavior and Timing in Executable Specifications.

Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1990

Serial Interfacing for Embedded-Memory Testing.

Benoit Nadeau-Dostie, Allan Silburt, Vinod K. Agarwal

IEEE Des. Test Comput., 1990

1988

Automated parameter extraction and modeling of the MOSFET below threshold.

Allan Silburt, A. R. Boothroyd, M. Digiovanni

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988