share record
persistent URL:
Anirudh Devgan , Ronald A. Rohrer : Event driven adaptively controlled explicit simulation of integrated circuits. ICCAD 1993 : 136-140 share record
persistent URL:
Sujit Dey , Miodrag Potkonjak , Rabindra K. Roy : Exploiting hardware sharing in high-level synthesis for partial scan optimization. ICCAD 1993 : 20-25 share record
persistent URL:
Shantanu Dutt : New faster Kernighan-Lin-type graph-partitioning algorithms. ICCAD 1993 : 370-377 share record
persistent URL:
Wolfgang Ecker , Michael Hofmeister : State look ahead technique for cycle optimization of interacting finite state Moore machines. ICCAD 1993 : 392-397 share record
persistent URL:
Luis Entrena , Kwang-Ting Cheng : Sequential logic optimization by redundancy addition and removal. ICCAD 1993 : 310-315 share record
persistent URL:
Hiroshige Fujii , Goichi Ootomo , Chikahiro Hori : Interleaving based variable ordering methods for ordered binary decision diagrams. ICCAD 1993 : 38-41 share record
persistent URL:
Dinesh D. Gaitonde , Duncan M. Hank Walker : Test quality and yield analysis using the DEFAM defect to fault mapper. ICCAD 1993 : 202-205 share record
persistent URL:
Tong Gao , C. L. Liu : Minimum crosstalk channel routing. ICCAD 1993 : 692-696 share record
persistent URL:
Arjan J. van Genderen , N. P. van der Meijs : Hierarchical extraction of 3D interconnect capacitances in large regular VLSI structures. ICCAD 1993 : 764-769 share record
persistent URL:
Werner Geurts , Francky Catthoor , Hugo De Man : Quadratic zero-one programming based synthesis of application specific data paths. ICCAD 1993 : 522-525 share record
persistent URL:
Eric J. Golin , Annette C. Feng , Linus Huang , Eric Hughes : A visual design environment. ICCAD 1993 : 364-367 share record
persistent URL:
Lisa M. Guerra , Miodrag Potkonjak , Jan M. Rabaey : High level synthesis for reconfigurable datapath structures. ICCAD 1993 : 26-29 share record
persistent URL:
Aarti Gupta , Allan L. Fisher : Representation and symbolic manipulation of linearly inductive Boolean functions. ICCAD 1993 : 192-199 share record
persistent URL:
Gary D. Hachtel , Fabio Somenzi : A symbolic algorithm for maximum flow in 0-1 networks. ICCAD 1993 : 403-406 share record
persistent URL:
Haidar Harmanani , Christos A. Papachristou : An improved method for RTL synthesis with testability tradeoffs. ICCAD 1993 : 30-35 share record
persistent URL:
Ing-Jer Huang , Alvin M. Despain : Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors. ICCAD 1993 : 594-599 share record
persistent URL:
Steve C.-Y. Huang , Wayne H. Wolf : Scheduling a minimum dependence in FSMs. ICCAD 1993 : 446-449 share record
persistent URL:
Henrik Hulgaard , Steven M. Burns , Tod Amon , Gaetano Borriello : Practical applications of an efficient time separation of events algorithm. ICCAD 1993 : 146-151 share record
persistent URL:
Alexander T. Ishii : Retiming gated-clocks and precharged circuit structures. ICCAD 1993 : 300-307 share record
persistent URL:
Alok Jain , Randal E. Bryant : Inverter minimization in multi-level logic networks. ICCAD 1993 : 462-465 share record
persistent URL:
Hyuk-Jae Jang , Barry M. Pangrle : A grid-based approach for connectivity binding with geometric costs. ICCAD 1993 : 94-99 share record
persistent URL:
Yuan-Long Jeang , Yu-Chin Hsu , Jhing-Fa Wang , Jau-Yien Lee : High throughput pipelined data path synthesis by conserving the regularity of nested loops. ICCAD 1993 : 450-453 share record
persistent URL:
Seiji Kajihara , Tetsuji Sumioka , Kozo Kinoshita : Test generation for multiple faults based on parallel vector pair analysis. ICCAD 1993 : 436-439 share record
persistent URL:
Russell Kao , Mark Horowitz : Piecewise linear models for Rsim. ICCAD 1993 : 753-758 share record
persistent URL:
S. Y. Kim , Emre Tuncer , Rohini Gupta , Byron Krauter , Thomas L. Savarino , Dean P. Neikirk , Lawrence T. Pillage : An efficient methodology for extraction and simulation of transmission lines for application specific electronic modules. ICCAD 1993 : 58-65 export record
dblp key:
conf/iccad/KodandapaniGDT93 share record
persistent URL:
K. Kodandapani , Joel Grodstein , Antun Domic , Hervé J. Touati : A simple algorithm for fanout optimization using high-performance buffer libraries. ICCAD 1993 : 466-471 share record
persistent URL:
Tilman Kolks , Bill Lin , Hugo De Man : Sizing and verification of communication buffers for communicating processes. ICCAD 1993 : 660-664 share record
persistent URL:
Yasushi Koseko , Takuji Ogihara , Shinichi Murai : Tri-state bus conflict checking method for ATPG using BDD. ICCAD 1993 : 512-515 share record
persistent URL:
Wolfgang Kunz : HANNIBAL: an efficient tool for logic verification based on recursive learning. ICCAD 1993 : 538-543 share record
persistent URL:
Yung-Te Lai , Massoud Pedram , Sarma B. K. Vrudhula : FGILP: an integer linear program solver based on function graphs. ICCAD 1993 : 685-689