( en | de | ru )

 

Disambiguation of "Hachtel, Gary D."

Author of the publication

copydeleteadd this publication to your clipboard
An ADD-based algorithm for shortest path back-tracing of large graphs.

, , , , and . Great Lakes Symposium on VLSI, page 248-251. IEEE, (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. You can also use the button next to the name to display some publications already assigned to the person.

Gerd Hachtel

Alexander Gary

Klaus Gary

Günther Hachtel

Henning Hachtel

 

Other publications of authors with the same name

CMOS dynamic power estimation based on collapsible current source transistor modeling., , , , , and . ISLPD, page 111-116. ACM, (1995)An Algorithm for Optimal PLA Folding., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1 (2): 63-77 (1982)Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (10): 1101-1115 (1997)The Sparse Tableau Approach to Network Analysis and Design, , and . Circuit Theory, IEEE Transactions on, 18 (1): 101--113 (January 1971)Results on the Interface between Formal Verification and ATPG., , , , , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 615-628. DIMACS/AMS, (1990)Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement., , , , and . ICCAD, page 408-415. IEEE Computer Society / ACM, (2003)Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms., , , and . ICCAD, page 464-467. IEEE Computer Society, (1991)Re-encoding sequential circuits to reduce power dissipation., , , , and . ICCAD, page 70-73. IEEE Computer Society / ACM, (1994)Algebraic decision diagrams and their applications., , , , , , and . ICCAD, page 188-191. IEEE Computer Society / ACM, (1993)A Structural Approach to State Space Decomposition for Approximate Reachability Analysis., , , , and . ICCD, page 236-239. IEEE Computer Society, (1994)