Author of the publication

VLSI logic and fault simulation on general-purpose parallel computers.

, , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (3): 446-460 (1993)

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.

 

Other publications of authors with the same name

Benchmarking Parallel Processing Platforms: An Applications Perspective., , , and . IEEE Trans. Parallel Distributed Syst., 4 (8): 947-954 (1993)Verification: what works and what doesn't., , , , , , and . DAC, page 274. ACM, (2004)In the Driver's Seat of BooleDozer., , , and . ICCD, page 518-521. IEEE Computer Society, (1994)Dual Global Flow., and . ICCD, page 49-53. IEEE Computer Society, (1991)A Robust Solution to the Timing Convergence Problem in High-Performance Design., , , , , and . ICCD, page 250-257. IEEE Computer Society, (1999)Checking satisfiability of a conjunction of BDDs., and . DAC, page 818-823. ACM, (2003)BDDMAP: A Technology Mapper Based on a New Covering Algorithm., , , and . DAC, page 484-487. IEEE Computer Society Press, (1992)VLSI logic and fault simulation on general-purpose parallel computers., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (3): 446-460 (1993)Portable parallel logic and fault simulation., , , and . ICCAD, page 506-509. IEEE Computer Society, (1989)A practical and efficient method for compare-point matching., , , and . DAC, page 305-310. ACM, (2002)