( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timing Analysis of Combinational Circuits using ADD's.

, , , , и . EDAC-ETC-EUROASIC, стр. 625-629. IEEE Computer Society, (1994)

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.

Gerd Hachtel

Alexander Gary

Klaus Gary

Günther Hachtel

Henning Hachtel

 

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

Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams., , и . DAC, стр. 620-623. IEEE Computer Society Press, (1992)Border-Block Triangular Form and Conjunction Schedule in Image Computation., , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 73-90. Springer, (2000)Sharp Disjunctive Decomposition for Language Emptiness Checking., и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 106-122. Springer, (2002)Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking., , и . ICCD, стр. 112-118. IEEE Computer Society, (2004)Fast Sequential ATPG Based on Implicit State Enumeration., , и . ITC, стр. 67-74. IEEE Computer Society, (1991)Don't Care Sequences and the Optimization of Interacting Finite State Machines., , и . ICCAD, стр. 418-421. IEEE Computer Society, (1991)Performance enhancements in BOLD using 'implications'., , , и . ICCAD, стр. 94-97. IEEE Computer Society, (1988)The Sparse Tableau Approach to Network Analysis and Design, , и . Circuit Theory, IEEE Transactions on, 18 (1): 101--113 (января 1971)CMOS dynamic power estimation based on collapsible current source transistor modeling., , , , , и . ISLPD, стр. 111-116. ACM, (1995)Results on the Interface between Formal Verification and ATPG., , , , , и . CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 615-628. DIMACS/AMS, (1990)