Author of the publication

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

Functional abstraction of logic gates for switch-level simulation., , , and . EURO-DAC, page 329-333. EEE Computer Society, (1991)Parallel switch-level simulation for VLSI., , and . EURO-DAC, page 324-328. EEE Computer Society, (1991)Satisfiability on reconfigurable hardware., and . FPL, volume 1304 of Lecture Notes in Computer Science, page 448-456. Springer, (1997)Concurrent D-algorithm on reconfigurable hardware., and . ICCAD, page 152-156. IEEE Computer Society, (1999)Checking Nested Properties Using Bounded Model Checking and Sequential ATPG., , and . VLSI Design, page 225-230. IEEE Computer Society, (2006)Initialization of sequential circuits and its application to ATPG., and . VTS, page 246-253. IEEE Computer Society, (1996)Site Partitioning for Distributed Redundant Disk Arrays., , and . RIDE-TQP, page 214. IEEE Computer Society, (1992)Automatic Generation of Instructions to Robustly Test Delay Defects in Processors., , , and . ETS, page 173-178. IEEE Computer Society, (2007)Hierarchical Simulation of MOS Circuits Using Extracted Functional Models., and . ICCD, page 512-515. IEEE Computer Society, (1992)Fault behavior dictionary for simulation of device-level transients., , and . ICCAD, page 6-9. IEEE Computer Society / ACM, (1993)