Conferences in DBLP
Tam Anh Chu , Narayana Mani , Clement K. C. Leung An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:2-6 [Conf ] Cho W. Moon , Robert K. Brayton Elimination of Dynamic hazards by Factoring. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:7-13 [Conf ] Régis Leveugle Optimized State Assignment of single fault Tolerant FSMs Based on SEC Codes. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:14-18 [Conf ] Alice M. Tokarnia Minimal Shift Counters and Frequency Division. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:19-24 [Conf ] Hyunwoo Cho , Gary D. Hachtel , Enrico Macii , Bernard Plessier , Fabio Somenzi Algorithms for Approximate FSM Traversal. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:25-30 [Conf ] Miles Ohlrich , Carl Ebeling , Eka Ginting , Lisa Sather SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:31-37 [Conf ] Lorenz Ladage , Rainer Leupers Resistance Extraction using a Routing Algorithm. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:38-42 [Conf ] Glenn G. Lai , Donald S. Fussell , D. F. Wong HV/VH Trees: A New Spatial Data Structure for Fast Region Queries. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:43-47 [Conf ] Emil F. Girczyc , Steve Carlson Increasing Design Quality and Engineering Productivity through Design Reuse. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:48-53 [Conf ] Edmund M. Clarke , Kenneth L. McMillan , Xudong Zhao , Masahiro Fujita , J. Yang Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:54-60 [Conf ] Polly Siegel , Giovanni De Micheli , David L. Dill Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:61-67 [Conf ] Chi-Ying Tsui , Massoud Pedram , Alvin M. Despain Technology Decomposition and Mapping Targeting Low Power Dissipation. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:68-73 [Conf ] Vivek Tiwari , Pranav Ashar , Sharad Malik Technology Mapping for Lower Power. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:74-79 [Conf ] Irith Pomeranz , Sudhakar M. Reddy INCREDYBLE-TG : INCREmental DYnamic test generation based on LEarning. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:80-85 [Conf ] Kwang-Ting Cheng , A. S. Krishnakumar Automatic Functional Test Generation Using the Extended Finite State Machine Model. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:86-91 [Conf ] Jean François Santucci , Anne-lise Courbis , Norbert Giambiasi Speed up of Behavioral A.T.P.G. using a Heuristic Criterion. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:92-96 [Conf ] Akira Motohara , Toshinori Hosokawa , Michiaki Muraoka , Hidetsugu Maekawa , Kazuhiro Kayashima , Yasuharu Shimeki , Seichi Shin A State Traversal Algorithm Using a State Covariance Matrix. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:97-101 [Conf ] Seiji Kajihara , Irith Pomeranz , Kozo Kinoshita , Sudhakar M. Reddy Cost-Effective Generation of Minimal Test Sets for Stuck-at Faults in Combinational Logic Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:102-106 [Conf ] Prathima Agrawal , Vishwani D. Agrawal , Joan Villoldo Sequential Circuit Test Generation on a Distributed System. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:107-111 [Conf ] Hoon Chang , Jacob A. Abraham VIPER: An Efficient Vigorously Sensitizable Path Extractor. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:112-117 [Conf ] Shiang-Tang Huang , Tai-Ming Parng , Jyuo-Min Shyu A Polynomial-Time Heuristic Approach to Approximate a Solution to the False Path Problem. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:118-122 [Conf ] Masamichi Kawarabayashi , Narendra V. Shenoy , Alberto L. Sangiovanni-Vincentelli A Verification Technique for Gated Clock. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:123-127 [Conf ] William K. C. Lam , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:128-134 [Conf ] Wen-Ben Jone , Chen-Liang Fang Timing Optimization By Gate Resizing And Critical Path Identification. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:135-140 [Conf ] Kurt Keutzer What is the Next Big Productivity Boost for Designers? (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:141- [Conf ] Helmut E. Graeb , Claudia U. Wieser , Kurt Antreich Improved Methods for Worst-Case Analysis and Optimization Incorporating Operating Tolerances. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:142-147 [Conf ] N. S. Nagaraj A New Optimizer for Performance Optimization of Analog Integrated Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:148-153 [Conf ] Abhijit Dharchoudhury , Sung-Mo Kang Performance-Constrained Worst-Case Variability Minimization of VLSI Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:154-158 [Conf ] Edward W. Y. Liu , Henry C. Chang , Alberto L. Sangiovanni-Vincentelli Analog System Verification in the Presence of Parasitics Using Behavioral Simulation. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:159-163 [Conf ] Jonathan Rose Logic Emulation: A Niche or a Future Standard for Design Verification? (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:164- [Conf ] Satyamurthy Pullela , Noel Menezes , Lawrence T. Pillage Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:165-170 [Conf ] Andrew Lim , Siu-Wing Cheng , Ching-Ting Wu Performance Oriented Rectilinear Steiner Trees. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:171-176 [Conf ] Xianlong Hong , Tianxiong Xue , Ernest S. Kuh , Chung-Kuan Cheng , Jin Huang Performance-Driven Steiner Tree Algorithm for Global Routing. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:177-181 [Conf ] Kenneth D. Boese , Andrew B. Kahng , Gabriel Robins High-Performance Routing Trees With Identified Critical Sinks. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:182-187 [Conf ] Ing-Yi Chen , Geng-Lin Chen , Fredrick J. Hill , Sy-Yen Kuo The Sea-of-Wires Array Aynthesis System. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:188-193 [Conf ] Ranga Vemuri , Paddy Mamtora , Praveen Sinha , Nand Kumar , Jayanta Roy , Raghu Vutukuru Experiences in Functional Validation of a High Level Synthesis System. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:194-201 [Conf ] Nam Sung Woo , Jaeseok Kim An Efficient Method of Partitioning Circuits for Multiple-FPGA Implementation.. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:202-207 [Conf ] Prashant Sawkar , Donald E. Thomas Performance Directed Technology Mapping for Look-Up Table Based FPGAs. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:208-212 [Conf ] Jason Cong , Yuzheng Ding On Area/Depth Trade-off in LUT-Based FPGA Technology Mapping. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:213-218 [Conf ] Mahesh Mehendale MIM: Logic Module Independent Technology Mapping for Design and Evaluation of Antifuse-based FPGAs. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:219-223 [Conf ] Rajeev Murgai , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli Sequential Synthesis for Table Look Up Programmable Gate Arrays. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:224-229 [Conf ] Hirendu Vaishnav , Massoud Pedram Routability-Driven Fanout Optimization. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:230-235 [Conf ] Vivek Chickermane , Elizabeth M. Rudnick , Prithviraj Banerjee , Janak H. Patel Non-Scan Design-for-Testability Techniques for Sequential Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:236-241 [Conf ] Rajagopalan Srinivasan , Sandeep K. Gupta , Melvin A. Breuer An Efficient Partitioning Strategy for Pseudo-Exhaustive Testing. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:242-248 [Conf ] Dimitrios Kagaris , Spyros Tragoudas Partial Scan with Retiming. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:249-254 [Conf ] Prashant S. Parikh , Miron Abramovici A Cost-Based Approach to Partial Scan. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:255-259 [Conf ] Yusuke Matsunaga , Patrick C. McGeer , Robert K. Brayton On Computing the Transitive Closure of a State Transition Relation. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:260-265 [Conf ] Alan J. Hu , David L. Dill Reducing BDD Size by Exploiting Functional Dependencies. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:266-271 [Conf ] Shin-ichi Minato Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:272-277 [Conf ] Rachel Y. W. Lau , Hilary J. Kahn Information Modelling of EDIF. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:278-283 [Conf ] Stephen R. Pollock Life Expectancy of Standards (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:284- [Conf ] Mehrdad Nourani , Christos A. Papachristou A Layout Estimation Algorithm for RTL Datapaths. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:285-291 [Conf ] Tien-Chien Lee , Niraj K. Jha , Wayne Wolf Behavioral Synthesis of Highly Testable Data Paths under the Non-Scan and Partial Scan Environments. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:292-297 [Conf ] Taewhan Kim , C. L. Liu Utilization of Multiport Memories in Data Path Synthesis. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:298-302 [Conf ] Debabrata Ghosh , S. K. Nandy , P. Sadayappan , K. Parthasarathy Architectural Synthesis of Performance-Driven Multipliers with Accumulator Interleaving. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:303-307 [Conf ] Wayne Wolf Embedded Systems and Hardware-Software Co-Design: Panacea or Pandora's Box? (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:308- [Conf ] Rajmohan Rajaraman , D. F. Wong Optimal Clustering for Delay Minimization. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:309-314 [Conf ] Roman Kuznar , Franc Brglez , Krzysztof Kozminski Cost Minimization of Partitions into Multiple Devices. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:315-320 [Conf ] Sudip Nag , Kaushik Roy Iterative Wirability and Performance Improvement for FPGAs. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:321-325 [Conf ] Pak K. Chan , Martine D. F. Schlag , Jason Y. Zien On Routability Prediction for Field-Programmable Gate Arrays. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:326-330 [Conf ] Ralph D. Nurnberger The Clinton/Gore Technology Policies. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:331-335 [Conf ] Haigeng Wang , Nikil D. Dutt , Alexandru Nicolau , Kai-Yeung Siu High-Level Synthesis of Scalable Architectures for IIR Filters using Multichip Modules. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:336-342 [Conf ] Abhijit Chatterjee , Rabindra K. Roy An Architectural Transformation Program for Optimization of Digital Systems by Multi-Level Decomposition. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:343-348 [Conf ] Alok Sharma , Rajiv Jain InSyn: Integrated Scheduling for DSP Applications. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:349-354 [Conf ] Alok Sharma , Rajiv Jain Estimating Architectural Resources and Performance for High-Level Synthesis Applications. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:355-360 [Conf ] Bradley S. Carlson , C. Y. Roger Chen Performance Enhancement of CMOS VLSI Circuits by Transistor Reordering. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:361-366 [Conf ] Dah-Cherng Yuan , Lawrence T. Pillage , Joseph T. Rahmeh Evaluation of Parts by Mixed-Level DC-Connected Components in Logic Simulation. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:367-372 [Conf ] Benoit A. Gennart Comparative Design Validation Based on Event Pattern Mappings. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:373-378 [Conf ] Georgios I. Stamoulis , Ibrahim N. Hajj Improved Techniques for Probabilistic Simulation Including Signal Correlation Effects. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:379-383 [Conf ] Harish Kriplani , Farid N. Najm , Ping Yang , Ibrahim N. Hajj Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:384-388 [Conf ] Cyrus Bamji , Ravi Varadarajan MSTC: A Method for Identifying Overconstraints during Hierarchical Compaction. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:389-394 [Conf ] So-Zen Yao , Chung-Kuan Cheng , Debaprosad Dutt , Surendra Nahar , Chi-Yuan Lo Cell-Based Hierarchical Pitchmatching Compaction Using Minimal LP. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:395-400 [Conf ] Peichen Pan , Sai-keung Dong , C. L. Liu Optimal Graph Constraint Reduction for Symbolic Layout Compaction. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:401-406 [Conf ] Joseph Dao , Nobu Matsumoto , Tsuneo Hamai , Chusei Ogawa , Shojiro Mori A Compaction Method for Full Chip VLSI Layouts. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:407-412 [Conf ] Viraphol Chaiyakul , Daniel Gajski , Loganath Ramachandran High-Level Transformations for Minimizing Syntactic Variances. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:413-418 [Conf ] Christos A. Papachristou , Haidar Harmanani , Mehrdad Nourani An Approach for Redesigning in Data Path Synthesis. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:419-423 [Conf ] Andrew Seawright , Forrest Brewer High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:424-428 [Conf ] Ramesh Karri , Alex Orailoglu High-Level Synthesis of Fault-Secure Microarchitectures. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:429-433 [Conf ] Manjote S. Haworth , William P. Birmingham Towards Optimal System-Level Design. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:434-438 [Conf ] Irith Pomeranz , Sudhakar M. Reddy , Prasanti Uppaluri NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:439-445 [Conf ] William K. C. Lam , Alexander Saldanha , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli Delay Fault Coverage and Performance Tradeoffs. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:446-452 [Conf ] Tapan J. Chakraborty , Vishwani D. Agrawal , Michael L. Bushnell Design for Testability for Path Delay faults in Sequential Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:453-457 [Conf ] Brian Chess , Tracy Larrabee Bridge Fault simulation strategies for CMOS integrated Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:458-462 [Conf ] June-Kyung Rho , Fabio Somenzi , Carl Pixley Minimum Length Synchronizing Sequences of Finite State Machine. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:463-468 [Conf ] Jeffrey J. Joyce , Carl-Johan H. Seger Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:469-474 [Conf ] Ramin Hojati , Thomas R. Shiple , Robert K. Brayton , Robert P. Kurshan A Unified Approach to Language Containment and Fair CTL Model Checking. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:475-481 [Conf ] William S. Johnson Are EDA Platform Preferences About to Shift? (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:482- [Conf ] Srimat T. Chakradhar , Sujit Dey , Miodrag Potkonjak , Steven G. Rothweiler Sequential Circuit Delay optimization Using Global Path Delays. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:483-489 [Conf ] Narendra V. Shenoy , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli Resynthesis of Multi-Phase Pipelines. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:490-496 [Conf ] Marios C. Papaefthymiou , Keith H. Randall TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:497-502 [Conf ] Pi-Yu Chung , Yi-Min Wang , Ibrahim N. Hajj Diagnosis and Correction of Logic Design Errors in Digital Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:503-508 [Conf ] Naveena Nagi , Abhijit Chatterjee , Jacob A. Abraham DRAFTS: Discretized Analog Circuit Fault Simulator. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:509-514 [Conf ] Wolfgang Meyer , Raul Camposano Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:515-519 [Conf ] Sreejit Chakravarty , Yiming Gong An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:520-524 [Conf ] Tsu-chang Lee A Bounded 2D Contour Searching Algorithm for Floorplan Design with Arbitrarily Shaped Rectilinear and Soft Modules. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:525-530 [Conf ] Takeo Hamada , Chung-Kuan Cheng , Paul M. Chau Prime : A Timing-Driven Placement Tool using A Piecewise Linear Resistive Network Approach. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:531-536 [Conf ] Jun Dong Cho , Majid Sarrafzadeh A Nuffer Distribution Algorithm for High-Speed Clock Routing. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:537-543 [Conf ] Masato Mogaki , Youichi Shiraishi , Mitsuyuki Kimura , Tetsuro Hino Cooperative Approach to a Practical Analog LSI Layout System. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:544-549 [Conf ] Gopi Ganapathy , Jacob A. Abraham Selective Pseudo Scan: Combinational ATPG with Reduced Scan in a Full Custom RISC Microprocessor. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:550-555 [Conf ] Kenneth W. Wan , Roshan A. Gidwani ABLE: AMD Backplane for Layout Engines. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:556-560 [Conf ] Steven G. Duvall Practical Statistical Design of Complex Integrated Circuit Products. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:561-565 [Conf ] Liang-Fang Chao , Andrea S. LaPaugh , Edwin Hsing-Mean Sha Rotation Scheduling: A Loop Pipelining Algorithm. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:566-572 [Conf ] Zia Iqbal , Miodrag Potkonjak , Sujit Dey , Alice C. Parker Critical Path Minimization Using Retiming and Algebraic Speed-Up. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:573-577 [Conf ] S. H. Huang , Y. L. Jeang , C. T. Hwang , Y. C. Hsu , J. F. Wang A Tree-Based Scheduling Algorithm for Control-Dominated Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:578-582 [Conf ] Richard J. Cloutier , Donald E. Thomas Synthesis of Pipelined Instruction Set Processors. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:583-588 [Conf ] Michael C. McFarland Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:589- [Conf ] Kei-Yong Khoo , Jason Cong An Efficient Multilayer MCM Router Based on Four-Via Routing. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:590-595 [Conf ] Jin Huang , Xianlong Hong , Chung-Kuan Cheng , Ernest S. Kuh An Efficient Timing-Driven Global Routing Algorithm. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:596-600 [Conf ] Forbes D. Lewis , Wang Chia-Chi Pong A Negative Reinforcement Method for PGA Routing. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:601-605 [Conf ] Jason Cong , Kwok-Shing Leung , Dian Zhou Performance-Driven Interconnect Design Based on Distributed RC Delay Model. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:606-611 [Conf ] Masato Edahiro A Clustering-Based Optimization Algorithm in Zero-Skew Routings. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:612-616 [Conf ] Ronald Collett Multi-vendor Tool Integration Experiences (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:617- [Conf ] Patrick C. McGeer , Jagesh V. Sanghavi , Robert K. Brayton , Alberto L. Sangiovanni-Vincentelli Espresso-Signature: A New Exact Minimizer for Logic Functions. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:618-624 [Conf ] Olivier Coudert , Jean Christophe Madre , Henri Fraisse A New Viewpoint on Two-Level Logic Minimization. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:625-630 [Conf ] Maurizio Damiani , Jerry Chih-Yuan Yang , Giovanni De Micheli Optimization of Combinational Logic Circuits Based on Compatible Gates. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:631-636 [Conf ] Hans Eveking , Stefan Höreth Optimization and Resynthesis of Complex Data-Paths. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:637-641 [Conf ] Yung-Te Lai , Massoud Pedram , Sarma B. K. Vrudhula BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:642-647 [Conf ] Peter R. Sutton , Jay B. Brockman , Stephen W. Director Design Management Using Dynamically Defined Flows. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:648-653 [Conf ] Mário J. Silva , Randy H. Katz Active Documentation: A New Interface for VLSI Design. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:654-660 [Conf ] Ram Mandayam , Ranga Vemuri Performance Specification Using Attributed Grammars. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:661-667 [Conf ] Cristian A. Giumale , Hilary J. Kahn An Information Model of Time. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:668-672 [Conf ] Yehuda Kra A Cross-Debugging Method for Hardware/Software Co-design Environments. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:673-677 [Conf ] Mattan Kamon , Michael J. Tsuk , Jacob White FastHenry: A Multipole-Accelerated 3-D Inductance Extraction Program. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:678-683 [Conf ] Tai-Yu Chou , Jay Cosentino , Zoltan J. Cendes High-Speed Interconnect Modeling and High-Accuracy Simulation Using SPICE and Finite Element Methods. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:684-690 [Conf ] Mysore Sriram , Sung-Mo Kang Fast Approximation of the Transient Response of Lossy Transmision Line Trees. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:691-696 [Conf ] Monjurul Haque , S. Chowdhury Analysis and Reliable Design of ECL Circuits with Distributed RLC Interconnections. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:697-701 [Conf ] Hansruedi Heeb , Saila Ponnapalli , Albert E. Ruehli Frequency Domain Microwave Modeling Using Retarded Partial Element Equivalent Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:702-706 [Conf ] Valery Yarnikh The State of CAD and VLSI in Russia. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:707-708 [Conf ] Yuri Tatarnikov The State of VHDL in Russia. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:709-711 [Conf ] Alexander Birger The State of Simulation in Russia. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:712-715 [Conf ] Valery M. Mikhov The State of EDA in Russian Universities. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:716-719 [Conf ] Andrew T. Yang , Yu Liu , Jack T. Yao , R. R. Daniels An Efficient Non-Quasi-Static Diode Model for Circuit Simulation. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:720-725 [Conf ] Haifang Liao , Wayne Wei-Ming Dai , Rui Wang , Fung-Yuel Chang S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:726-731 [Conf ] Eli Chiprout , Michel S. Nakhla Addressing High-Speed Interconnect Issues in Asymptotic Waveform Evaluation. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:732-736 [Conf ] Chandramouli Visweswariah , Jalal A. Wehbeh Incremental Event-Driven Simulation of Digital FET Circuits. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:737-741 [Conf ] John A. Darringer Where in the World Should CAD Software be Made? (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:742- [Conf ] Charles J. Alpert , Andrew B. Kahng Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:743-748 [Conf ] Pak K. Chan , Martine D. F. Schlag , Jason Y. Zien Spectral K -Way Ratio-Cut Partitioning and Clustering. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:749-754 [Conf ] Jason Cong , M'Lissa Smith A Parallel Bottom-Up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Design. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:755-760 [Conf ] Minshine Shih , Ernest S. Kuh Quadratic Boolean Programming for Performance-Driven System Partitioning. [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:761-765 [Conf ] Romesh Wadhwani The Key to EDA Results: Component & Library Management (Panel Abstract). [Citation Graph (0, 0)][DBLP ] DAC, 1993, pp:766- [Conf ]