ICCAD 1993: Santa Clara, California, USA

• Mehrdad Mojtahedi, Walter Geisselhardt:
  New methods for parallel pattern fast fault simulation for synchronous sequential circuits. 2-5
  
• Gwan S. Choi, Ravishankar K. Iyer, Daniel G. Saab:
  Fault behavior dictionary for simulation of device-level transients. 6-9
  
• Hyung Ki Lee, Dong Sam Ha:
  New methods of improving parallel fault simulation in synchronous sequential circuits. 10-17
  
• Sujit Dey, Miodrag Potkonjak, Rabindra K. Roy:
  Exploiting hardware sharing in high-level synthesis for partial scan optimization. 20-25
  
• Lisa M. Guerra, Miodrag Potkonjak, Jan M. Rabaey:
  High level synthesis for reconfigurable datapath structures. 26-29
  
• Haidar Harmanani, Christos A. Papachristou:
  An improved method for RTL synthesis with testability tradeoffs. 30-35
  
• Hiroshige Fujii, Goichi Ootomo, Chikahiro Hori:
  Interleaving based variable ordering methods for ordered binary decision diagrams. 38-41
  
• Richard Rudell:
  Dynamic variable ordering for ordered binary decision diagrams. 42-47
  
• Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima:
  Breadth-first manipulation of very large binary-decision diagrams. 48-55
  
• S. Y. Kim, Emre Tuncer, Rohini Gupta, Byron Krauter, T. Savarino, Dean P. Neikirk, Lawrence T. Pillage:
  An efficient methodology for extraction and simulation of transmission lines for application specific electronic modules. 58-65
  
• Eli Chiprout, Hansruedi Heeb, Michel S. Nakhla, Albert E. Ruehli:
  Simulating 3-D retarded interconnect models using complex frequency hopping (CFH). 66-72
  
• Jaebum Lee, Eugene Shragowitz, David J. Poli:
  Bounds on net lengths for high-speed PCB. 73-76
  
• Hua Xue, Chennian Di, Jochen A. G. Jess:
  A net-oriented method for realistic fault analysis. 78-83
  
• Shambhu J. Upadhyaya, Liang-Chi Chen:
  On-chip test generation for combinational circuits by LFSR modification. 84-87
  
• Naveena Nagi, Abhijit Chatterjee, Ashok Balivada, Jacob A. Abraham:
  Fault-based automatic test generator for linear analog circuits. 88-91
  
• Hyuk-Jae Jang, Barry M. Pangrle:
  A grid-based approach for connectivity binding with geometric costs. 94-99
  
• Vasily G. Moshnyaga, Hiroshi Mori, Hidetoshi Onodera, Keikichi Tamaru:
  Layout-driven module selection for register-transfer synthesis of sub-micron ASIC's. 100-103
  
• Elke A. Rundensteiner:
  Design tool integration using object-oriented database views. 104-107
  
• Jason Cong, Yuzheng Ding:
  Beyond the combinatorial limit in depth minimization for LUT-based FPGA designs. 110-114
  
• Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
  Cube-packing and two-level minimization. 115-122
  
• Chau-Shen Chen, Yu-Wen Tsay, TingTing Hwang, Allen C.-H. Wu, Youn-Long Lin:
  Combining technology mapping and placement for delay-optimization in FPGA designs. 123-127
  
• Chih-Po Wen, Katherine A. Yelick:
  Parallel timing simulation on a distributed memory multiprocessor. 130-135
  
• Anirudh Devgan, Ronald A. Rohrer:
  Event driven adaptively controlled explicit simulation of integrated circuits. 136-140
  
• Richard J. Trihy, Ronald A. Rohrer:
  Simulating sigma-delta modulators in AWEswit. 141-144
  
• Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello:
  Practical applications of an efficient time separation of events algorithm. 146-151
  
• Timothy M. Burks, Karem A. Sakallah:
  Min-max linear programming and the timing analysis of digital circuits. 152-155
  
• Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
  Minimum padding to satisfy short path constraints. 156-161
  
• Hyunchul Shin, Chunghee Kim, Wonjong Kim, Myoungsub Oh, Kwangjoon Rhee, Seogyun Choi, Heasoo Chung:
  A combined hierarchical placement algorithm. 164-169
  
• Wern-Jieh Sun, Carl Sechen:
  Efficient and effective placement for very large circuits. 170-177
  
• Chih-Liang Eric Cheng, Ching-yen Ho:
  SEFOP: a novel approach to data path module placement. 178-181
  
• Thomas Tamisier:
  Computing the observable equivalence relation of a finite state machine. 184-187
  
• R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi:
  Algebraic decision diagrams and their applications. 188-191
  
• Aarti Gupta, Allan L. Fisher:
  Representation and symbolic manipulation of linearly inductive Boolean functions. 192-199
  
• Dinesh D. Gaitonde, Duncan M. Hank Walker:
  Test quality and yield analysis using the DEFAM defect to fault mapper. 202-205
  
• Sachin S. Sapatnekar, Pravin M. Vaidya, Steve M. Kang:
  Convexity-based algorithms for design centering. 206-209
  
• Julie Chen, Andrew T. Yang:
  Style: a technology-independent approach to statistical design. 210-214
  
• Kerry S. Lowe, P. Glenn Gulak:
  Gate sizing and buffer insertion for optimizing performance in power constrained BiCMOS circuits. 216-219
  
• Weitong Chuang, Sachin S. Sapatnekar, Ibrahim N. Hajj:
  A unified algorithm for gate sizing and clock skew optimization to minimize sequential circuit area. 220-223
  
• Chi-Ying Tsui, Massoud Pedram, Alvin M. Despain:
  Efficient estimation of dynamic power consumption under a real delay model. 224-228
  
• Massoud Pedram, Bahman S. Nobandegani, Bryan Preas:
  Architecture and routability analysis for row-based FPGAs. 230-235
  
• Gabriele Saucier, Daniel R. Brasen, J. P. Hiol:
  Partitioning with cone structures. 236-239
  
• Enric Pastor, Jordi Cortadella:
  Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. 250-254
  
• Kenneth Y. Yun, David L. Dill:
  Unifying synchronous/asynchronous state machine synthesis. 255-260
  
• Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng:
  Efficient verification of determinate speed-independent circuits. 261-267
  
• Mark W. Reichelt, Andrew Lumsdaine, Jacob K. White:
  Accelerated waveform methods for parallel transient simulation of semiconductor devices. 270-274
  
• Mi-Chang Chang, Jue-Hsien Chern, Ping Yang:
  An accurate grid local truncation error for device simulation. 275-282
  
• X. Cai, H. Yie, P. Osterberg, J. Gilbert, Stephen D. Senturia, Jacob K. White:
  A relaxation/multipole-accelerated scheme for self-consistent electromechanical analysis of complex 3-D microelectromechanical structures. 283-286
  
• Brian Lockyear, Carl Ebeling:
  The practical application of retiming to the design of high-performance systems. 288-295
  
• Lung-Tien Liu, Minshine Shih, Nan-Chi Chou, Chung-Kuan Cheng, Walter H. Ku:
  Performance-driven partitioning using retiming and replication. 296-299
  
• Alexander T. Ishii:
  Retiming gated-clocks and precharged circuit structures. 300-307
  
• Luis Entrena, Kwang-Ting Cheng:
  Sequential logic optimization by redundancy addition and removal. 310-315
  
• Yosinori Watanabe, Robert K. Brayton:
  The maximum set of permissible behaviors for FSM networks. 316-320
  
• Huey-Yih Wang, Robert K. Brayton:
  Input don't care sequences in FSM networks. 321-328
  
• Christopher Michael, Christopher J. Abel, C. S. Teng:
  A flexible statistical model for CAD of submicrometer analog CMOS integrated circuits. 330-333
  
• Pradip Mandal, V. Visvanathan:
  Macromodeling of the A.C. characteristics of CMOS Op-amps. 334-340
  
• Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli:
  Nyquist data converter testing and yield analysis using behavioral simulation. 341-348
  
• Andrea Casotto:
  Run-time requirement tracing. 350-355
  
• K. Olav ten Bosch, Pieter van der Wolf, Peter Bingley:
  A flow-based user interface for efficient execution of the design cycle. 356-363
  
• Eric J. Golin, Annette C. Feng, Linus Huang, Eric Hughes:
  A visual design environment. 364-367
  
• Shantanu Dutt:
  New faster Kernighan-Lin-type graph-partitioning algorithms. 370-377
  
• Mark Beardslee, Alberto L. Sangiovanni-Vincentelli:
  An algorithm for improving partitions of pin-limited multi-chip systems. 378-385
  
• Majid Sarrafzadeh:
  Transforming an arbitrary floorplan into a sliceable one. 386-389
  
• Wolfgang Ecker, M. Hofmeister:
  State look ahead technique for cycle optimization of interacting finite state Moore machines. 392-397
  
• José C. Monteiro, Srinivas Devadas, Abhijit Ghosh:
  Retiming sequential circuits for low power. 398-402
  
• Gary D. Hachtel, Fabio Somenzi:
  A symbolic algorithm for maximum flow in 0-1 networks. 403-406
  
• Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli:
  Generalized constraint generation for analog circuit design. 408-414
  
• Bulent Basaran, Rob A. Rutenbar, L. Richard Carley:
  Latchup-aware placement and parasitic-bounded routing of custom analog cells. 415-421
  
• Nishath K. Verghese, Sang-Soo Lee, David J. Allstot:
  A unified approach to simulating electrical and thermal substrate coupling interactions in ICs. 422-426
  
• Irith Pomeranz, Sudhakar M. Reddy:
  Test generation for path delay faults based on learning. 428-435
  
• Seiji Kajihara, Tetsuji Sumioka, Kozo Kinoshita:
  Test generation for multiple faults based on parallel vector pair analysis. 436-439
  
• Debashis Bhattacharya, Prathima Agrawal:
  Boolean algebraic test generation using a distributed system. 440-443
  
• Steve C.-Y. Huang, Wayne Wolf:
  Scheduling a minimum dependence in FSMs. 446-449
  
• 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. 450-453
  
• Adwin H. Timmer, Jochen A. G. Jess:
  Execution interval analysis under resource constraints. 454-459
  
• Alok Jain, Randal E. Bryant:
  Inverter minimization in multi-level logic networks. 462-465
  
• K. Kodandapani, Joel Grodstein, Antun Domic, Hervé J. Touati:
  A simple algorithm for fanout optimization using high-performance buffer libraries. 466-471
  
• Robert N. Mayo, Hervé J. Touati:
  Boolean matching for full-custom ECL gates. 472-477
  
• Kai Zhu, D. F. Wong, Yao-Wen Chang:
  Switch module design with application to two-dimensional segmentation design. 480-485
  
• Yachyang Sun, Ting-Chi Wang, Chak-Kuen Wong, C. L. Liu:
  Routing for symmetric FPGAs and FPICs. 486-490
  
• William Swartz, Carl Sechen:
  A new generalized row-based global router. 491-498
  
• Irith Pomeranz, Sudhakar M. Reddy:
  On diagnosis and correction of design errors. 500-507
  
• Paul G. Ryan, W. Kent Fuchs, Irith Pomeranz:
  Fault dictionary compression and equivalence class computation for sequential circuits. 508-511
  
• Yasushi Koseko, Takuji Ogihara, Shinichi Murai:
  Tri-state bus conflict checking method for ATPG using BDD. 512-515
  
• Miguel R. Corazao, Marwan A. Khalaf, Lisa M. Guerra, Miodrag Potkonjak, Jan M. Rabaey:
  Instruction set mapping for performance optimization. 518-521
  
• Werner Geurts, Francky Catthoor, Hugo De Man:
  Quadratic zero-one programming based synthesis of application specific data paths. 522-525
  
• Alauddin Alomary, Takeharu Nakata, Yoshimichi Honma, Masaharu Imai, Nobuyuki Hikichi:
  An ASIP instruction set optimization algorithm with functional module sharing constraint. 526-532
  
• Daniel Brand:
  Verification of large synthesized designs. 534-537
  
• Wolfgang Kunz:
  HANNIBAL: an efficient tool for logic verification based on recursive learning. 538-543
  
• Amelia Shen, Srinivas Devadas, Abhijit Ghosh:
  Probabilistic construction and manipulation of free Boolean diagrams. 544-583
  
• Peter Marwedel:
  Tree-based mapping of algorithms to predefined structures. 586-593
  
• Ing-Jer Huang, Alvin M. Despain:
  Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors. 594-599
  
• Raj S. Mitra, Biswaroop Guha, Anupam Basu:
  Rapid prototyping of microprocessor-based systems. 600-603
  
• Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh:
  Boolean factorization using multiple-valued minimization. 606-611
  
• Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli:
  Modeling hierarchical combinational circuits. 612-617
  
• Sharad Malik:
  Analysis of cyclic combinational circuits. 618-625
  
• Qing Zhu, Wayne Wei-Ming Dai, Joe G. Xi:
  Optimal sizing of high-speed clock networks based on distributed RC and lossy transmission line models. 628-633
  
• Jason Cong, Kwok-Shing Leung:
  Optimal wiresizing under the distributed Elmore delay model. 634-639
  
• Robert J. Carragher, Chung-Kuan Cheng, Masahiro Fujita:
  An efficient algorithm for the net matching problem. 640-644
  
• Chien-In Henry Chen, Joel T. Yuen:
  Logic partitioning to pseudo-exhaustive test for BIST design. 646-649
  
• Dipanwita Roy Chowdhury, Supratik Chakraborty, B. Vamsi, B. Pal Chaudhuri:
  Cellular automata based synthesis of easily and fully testable FSMs. 650-653
  
• Meryem Marzouki, Marcelo Lubaszewski, Mohamed Hedi Touati:
  Unifying test and diagnosis of interconnects and logic clusters in partial boundary scan boards. 654-657
  
• Tilman Kolks, Bill Lin, Hugo De Man:
  Sizing and verification of communication buffers for communicating processes. 660-664
  
• Dhiraj K. Pradhan, Mitrajit Chatterjee, Savita Banerjee:
  Buffer assignment for data driven architectures. 665-668
  
• Florin Balasa, Francky Catthoor, Hugo De Man:
  Exact evaluation of memory size for multi-dimensional signal processing systems. 669-672
  
• Ted Stanion, Carl Sechen:
  Maximum projections of don't care conditions in a Boolean network. 674-679
  
• Dirk Möller, Janett Mohnke, Michael Weber:
  Detection of symmetry of Boolean functions represented by ROBDDs. 680-684
  
• Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula:
  FGILP: an integer linear program solver based on function graphs. 685-689
  
• Tong Gao, C. L. Liu:
  Minimum crosstalk channel routing. 692-696
  
• Kamal Chaudhary, Akira Onozawa, Ernest S. Kuh:
  A spacing algorithm for performance enhancement and cross-talk reduction. 697-702
  
• Lih-Yang Wang, Yen-Tai Lai, Bin-Da Liu, Ting-Chung Chang:
  A graph-based simplex algorithm for minimizing the layout size and the delay on timing critical paths. 703-708
  
• Sridhar Narayanan, Melvin A. Breuer:
  Reconfigurable scan chains: a novel approach to reduce test application time. 710-715
  
• Ben Mathew, Daniel G. Saab:
  Augmented partial reset. 716-719
  
• Debaditya Mukherjee, Massoud Pedram, Melvin A. Breuer:
  Merging multiple FSM controllers for DFT/BIST hardware. 720-725
  
• Paul E. R. Lippens, Jef L. van Meerbergen, Wim F. J. Verhaegh, Albert van der Werf:
  Allocation of multiport memories for hierarchical data stream. 728-735
  
• Kamlesh Rath, M. Esen Tuna, Steven D. Johnson:
  Behavior tables: a basis for system representation and transformational system synthesis. 736-740
  
• Lawrence F. Arnstein, Donald E. Thomas:
  A general consistency technique for increasing the controllability of high level synthesis tools. 741-744
  
• Peter Dahlgren, Peter Lidén:
  Efficient modeling of switch-level networks containing undetermined logic node states. 746-752
  
• Russell Kao, Mark Horowitz:
  Piecewise linear models for Rsim. 753-758
  
• Yun Sik Lee, Peter M. Maurer:
  Parallel multi-delay simulation. 759-762
  
• Arjan J. van Genderen, N. P. van der Meijs:
  Hierarchical extraction of 3D interconnect capacitances in large regular VLSI structures. 764-769
  
• Mario A. Lopez, Ravi Janardan, Sartaj K. Sahni:
  A fast algorithm for VLSI net extraction. 770-774
  
• Takumi Okamoto, Masaki Ishikawa, Tomoyuki Fujita:
  A new feed-through assignment algorithm based on a flow model. 775-778