( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Robust Solution to the Timing Convergence Problem in High-Performance Design.

, , , , , и . ICCD, стр. 250-257. IEEE Computer Society, (1999)

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.

Damiano Stefani

Damiano Bolzoni

Damiano Guazzini

Robert F Ofenloch

Robert F Lepenies

 

Другие публикации лиц с тем же именем

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