( en | de | ru )

 

Disambiguation of "Silburt, Allan"

Author of the publication

copydeleteadd this publication to your clipboard
Functional Verification of Large ASICs.

, , , , , , , and . DAC, page 650-655. ACM Press, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Moray Allan

Jennifer Allanson

Marianne Allanic

Feras Allan

Allan Zuckerwar

 

Other publications of authors with the same name

Automated parameter extraction and modeling of the MOSFET below threshold., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (4): 484-488 (1988)ASIC/system hardware verification at Nortel: a view from the trenches.. CHARME, volume 105 of IFIP Conference Proceedings, page 1. Chapman & Hall, (1997)Serial Interfacing for Embedded-Memory Testing., , and . IEEE Des. Test Comput., 7 (2): 52-63 (1990)Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors., , , , , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 110-124. Springer, (1999)Integrating Behavior and Timing in Executable Specifications., , , , and . CHDL, volume A-32 of IFIP Transactions, page 399-416. North-Holland, (1993)Functional Verification of Large ASICs., , , , , , , and . DAC, page 650-655. ACM Press, (1998)Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation., , , , , and . DAC, page 528-533. ACM Press, (1995)Panel: Reliability of data centers: Hardware vs. software., , , , , and . DATE, page 1620. IEEE Computer Society, (2010)An Efficient MOS Transistor Model for Computer-Aided Design., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 3 (1): 104-111 (1984)