ICCAD 1996:
San Jose,
California,
USA
International Conference on Computer-Aided Design (ICCAD '96),
November 10-14,
1996,
San Jose,
CA,
USA. ACM and IEEE Computer Society,
1996
- Ruchir Puri, Andrew Bjorksten, Thomas E. Rosser:
Logic optimization by output phase assignment in dynamic logic synthesis.
2-7
Electronic Edition (ACM DL) BibTeX
- Xiaoqing Wen, Kewal K. Saluja:
A new method towards achieving global optimality in technology mapping.
9-12
Electronic Edition (ACM DL) BibTeX
- Juinn-Dar Huang, Jing-Yang Jou, Wen-Zen Shen:
An iterative area/performance trade-off algorithm for LUT-based FPGA technology mapping.
13-17
Electronic Edition (ACM DL) BibTeX
- Guowu Zheng, Qi-Jun Zhang, Michel S. Nakhla, Ramachandra Achar:
An efficient approach for moment-matching simulation of linear subnetworks with measured or tabulated data.
20-23
Electronic Edition (ACM DL) BibTeX
- Steven D. Corey, Andrew T. Yang:
Automatic netlist extraction for measurement-based characterization of off-chip interconnect.
24-29
Electronic Edition (ACM DL) BibTeX
- Andrew B. Kahng, Kei Masuko, Sudhakar Muddu:
Analytical delay models for VLSI interconnects under ramp input.
30-36
Electronic Edition (ACM DL) BibTeX
- Chung-Ping Chen, Hai Zhou, D. F. Wong:
Optimal non-uniform wire-sizing under the Elmore delay model.
38-43
Electronic Edition (ACM DL) BibTeX
- Takumi Okamoto, Jason Cong:
Buffered Steiner tree construction with wire sizing for interconnect layout optimization.
44-49
Electronic Edition (ACM DL) BibTeX
- Daksh Lehther, Sachin S. Sapatnekar:
Clock tree synthesis for multi-chip modules.
50-53
Electronic Edition (ACM DL) BibTeX
- Wanlin Cao, Dhiraj K. Pradhan:
Sequential redundancy identification using recursive learning.
56-62
Electronic Edition (ACM DL) BibTeX
- Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs:
Identification of unsettable flip-flops for partial scan and faster ATPG.
63-66
Electronic Edition (ACM DL) BibTeX
- Elizabeth M. Rudnick, Janak H. Patel:
Simulation-based techniques for dynamic test sequence compaction.
67-73
Electronic Edition (ACM DL) BibTeX
- Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi:
Tearing based automatic abstraction for CTL model checking.
76-81
Electronic Edition (ACM DL) BibTeX
- Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose:
CTL model checking based on forward state traversal.
82-87
Electronic Edition (ACM DL) BibTeX
- Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatterjee:
VERILAT: verification using logic augmentation and transformations.
88-95
Electronic Edition (ACM DL) BibTeX
- Youngsoo Shin, Kiyoung Choi:
Software synthesis through task decomposition by dependency analysis.
98-104
Electronic Edition (ACM DL) BibTeX
- Wei Zhao, Christos A. Papachristou:
Synthesis of reusable DSP cores based on multiple behaviors.
103-108
Electronic Edition (ACM DL) BibTeX
- Rainer Leupers, Peter Marwedel:
Algorithms for address assignment in DSP code generation.
109-112
Electronic Edition (ACM DL) BibTeX
- Hakan Yalcin, John P. Hayes, Karem A. Sakallah:
An approximate timing analysis method for datapath circuits.
114-118
Electronic Edition (ACM DL) BibTeX
- Vinod Narayanan, Barbara A. Chappell, Bruce M. Fleischer:
Static timing analysis for self resetting circuits.
119-126
Electronic Edition (ACM DL) BibTeX
- David Van Campenhout, Trevor N. Mudge, Karem A. Sakallah:
Timing verification of sequential domino circuits.
127-132
Electronic Edition (ACM DL) BibTeX
- Gunther Lehmann, Bernhard Wunder, Klaus D. Müller-Glaser:
Basic concepts for an HDL reverse engineering tool-set.
134-141
Electronic Edition (ACM DL) BibTeX
- Eric W. Johnson, Jay B. Brockman:
Sensitivity analysis of iterative design processes.
142-145
Electronic Edition (ACM DL) BibTeX
- Richard C. Ho, Mark Horowitz:
Validation coverage analysis for complex digital designs.
146-151
Electronic Edition (ACM DL) BibTeX
- Hsiao-Ping Juan, Daniel Gajski, Viraphol Chaiyakul:
Clock-driven performance optimization in interactive behavioral synthesis.
154-157
Electronic Edition (ACM DL) BibTeX
- Anand Raghunathan, Sujit Dey, Niraj K. Jha:
Register-transfer level estimation techniques for switching activity and power consumption.
158-165
Electronic Edition (ACM DL) BibTeX
- Renu Mehra, Jan M. Rabaey:
Exploiting regularity for low-power design.
166-172
Electronic Edition (ACM DL) BibTeX
- Andrew R. Conn, Paula K. Coulman, Ruud A. Haring, Gregory L. Morrill, Chandramouli Visweswariah:
Optimization of custom MOS circuits by transistor sizing.
174-180
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Lei He:
An efficient approach to simultaneous transistor and interconnect sizing.
181-186
Electronic Edition (ACM DL) BibTeX
- Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli:
Generalized constraint generation in the presence of non-deterministic parasitics.
187-192
Electronic Edition (ACM DL) BibTeX
- Shantanu Dutt, Wenyong Deng:
VLSI circuit partitioning by cluster-removal using iterative improvement techniques.
194-200
Electronic Edition (ACM DL) BibTeX
- Jason Y. Zien, Martine D. F. Schlag, Pak K. Chan:
Multi-level spectral hypergraph partitioning with arbitrary vertex sizes.
201-204
Electronic Edition (ACM DL) BibTeX
- Wai-Kei Mak, D. F. Wong:
Minimum replication min-cut partitioning.
205-210
Electronic Edition (ACM DL) BibTeX
- Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Compact and complete test set generation for multiple stuck-faults.
212-219
Electronic Edition (ACM DL) BibTeX
- João P. Marques Silva, Karem A. Sakallah:
GRASP - a new search algorithm for satisfiability.
220-227
Electronic Edition (ACM DL) BibTeX
- Hisashi Kondo, Kwang-Ting Cheng:
Driving toward higher IDDQ test quality for sequential circuits: a generalized fault model and its ATPG.
228-232
Electronic Edition (ACM DL) BibTeX
- Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Comparing models of computation.
234-241
Electronic Edition (ACM DL) BibTeX
- N. P. van der Meijs, T. Smedes:
Accurate interconnect modeling: towards multi-million transistor chips as microwave circuits.
244-251
Electronic Edition (ACM DL) BibTeX
- Shigeru Yamashita, Hiroshi Sawada, Akira Nagoya:
A new method to express functional permissibilities for LUT based FPGAs and its applications.
254-261
Electronic Edition (ACM DL) BibTeX
- Shih-Chieh Chang, Lukas P. P. P. van Ginneken, Malgorzata Marek-Sadowska:
Fast Boolean optimization by rewiring.
262-269
Electronic Edition (ACM DL) BibTeX
- Qi Wang, Sarma B. K. Vrudhula:
Multi-level logic optimization for low power using local logic transformations.
270-277
Electronic Edition (ACM DL) BibTeX
- Roland W. Freund, Peter Feldmann:
Reduced-order modeling of large passive linear circuits by means of the SYPVL algorithm.
280-287
Electronic Edition (ACM DL) BibTeX
- Luis Miguel Silveira, Mattan Kamon, Ibrahim M. Elfadel, Jacob White:
A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits.
288-294
Electronic Edition (ACM DL) BibTeX
- Peter Feldmann, Jaijeet S. Roychowdhury:
Computation of circuit waveform envelopes using an efficient, matrix-decomposed harmonic balance algorithm.
295-300
Electronic Edition (ACM DL) BibTeX
- Tianxiong Xue, Ernest S. Kuh, Dongsheng Wang:
Post global routing crosstalk risk estimation and reduction.
302-309
Electronic Edition (ACM DL) BibTeX
- Hai Zhou, D. F. Wong:
An optimal algorithm for river routing with crosstalk constraints.
310-315
Electronic Edition (ACM DL) BibTeX
- Joe G. Xi, Wayne Wei-Ming Dai:
Jitter-tolerant clock routing in two-phase synchronous systems.
316-320
Electronic Edition (ACM DL) BibTeX
- Frank F. Hsu, Elizabeth M. Rudnick, Janak H. Patel:
Enhancing high-level control-flow for improved testability.
322-328
Electronic Edition (ACM DL) BibTeX
- Indradeep Ghosh, Anand Raghunathan, Niraj K. Jha:
A design for testability technique for RTL circuits using control/data flow extraction.
329-336
Electronic Edition (ACM DL) BibTeX
- Hans-Joachim Wunderlich, Gundolf Kiefer:
Bit-flipping BIST.
337-343
Electronic Edition (ACM DL) BibTeX
- Pranav Ashar, Aarti Gupta, Sharad Malik:
Using complete-1-distinguishability for FSM equivalence checking.
346-353
Electronic Edition (ACM DL) BibTeX
- Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Improved reachability analysis of large finite state machines.
354-360
Electronic Edition (ACM DL) BibTeX
- Yirng-An Chen, Randal E. Bryant:
ACV: an arithmetic circuit verifier.
361-365
Electronic Edition (ACM DL) BibTeX
- Hans T. Heineken, Wojciech Maly:
Interconnect yield model for manufacturability prediction in synthesis of standard cell based designs.
368-373
Electronic Edition (ACM DL) BibTeX
- Eric Felt, Stefano Zanella, Carlo Guardiani, Alberto L. Sangiovanni-Vincentelli:
Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling.
374-380
Electronic Edition (ACM DL) BibTeX
- Wei Hong II, Weikai Sun, Zhenhai Zhu, Hao Ji, Ben Song, Wayne Wei-Ming Dai:
A novel dimension reduction technique for the capacitance extraction of 3D VLSI interconnects.
381-386
Electronic Edition (ACM DL) BibTeX
- Daniel Brand, Chandramouli Visweswariah:
Inaccuracies in power estimation during logic synthesis.
388-394
Electronic Edition (ACM DL) BibTeX
- Ashok Vittal, Hein Ha, Forrest Brewer, Malgorzata Marek-Sadowska:
Clock skew optimization for ground bounce control.
395-399
Electronic Edition (ACM DL) BibTeX
- Jiing-Yuan Lin, Wen-Zen Shen, Jing-Yang Jou:
A power modeling and characterization method for the CMOS standard cell library.
400-404
Electronic Edition (ACM DL) BibTeX
- Kyosun Kim, Ramesh Karri, Miodrag Potkonjak:
Heterogeneous built-in resiliency of application specific programmable processors.
406-411
Electronic Edition (ACM DL) BibTeX
- William J. Schilp, Peter M. Maurer:
Unit delay simulation with the inversion algorithm.
412-417
Electronic Edition (ACM DL) BibTeX
- Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer:
An observability-based code coverage metric for functional simulation.
418-425
Electronic Edition (ACM DL) BibTeX
- Ellen Sentovich, Horia Toma, Gérard Berry:
Latch optimization in circuits generated from high-level descriptions.
428-435
Electronic Edition (ACM DL) BibTeX
- Samit Chaudhuri, Michael Quayle:
Synthesis using sequential functional modules (SFMs).
436-441
Electronic Edition (ACM DL) BibTeX
- Ki-Seok Chung, Rajesh K. Gupta, C. L. Liu:
An algorithm for synthesis of system-level interface circuits.
442-447
Electronic Edition (ACM DL) BibTeX
- Chad Young, Giorgio Casinovi, Jonathan Fowler, Paul Kerstetter:
An algorithm for power estimation in switched-capacitor circuits.
450-454
Electronic Edition (ACM DL) BibTeX
- Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer:
Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs.
455-462
Electronic Edition (ACM DL) BibTeX
- Iasson Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi, Alberto L. Sangiovanni-Vincentelli:
A video driver system designed using a top-down, constraint-driven methodology.
463-468
Electronic Edition (ACM DL) BibTeX
- Dirk Behrens, Klaus Harbich, Erich Barke:
Hierarchical partitioning.
470-477
Electronic Edition (ACM DL) BibTeX
- Takayuki Yamanouchi, Kazuo Tamakashi, Takashi Kambe:
Hybrid floorplanning based on partial clustering and module restructuring.
478-483
Electronic Edition (ACM DL) BibTeX
- Shigetoshi Nakatake, Kunihiro Fujiyoshi, Hiroshi Murata, Yoji Kajitani:
Module placement on BSG-structure and IC layout applications.
484-491
Electronic Edition (ACM DL) BibTeX
- Mukund Sivaraman, Andrzej J. Strojwas:
Delay fault coverage: a realistic metric and an estimation technique for distributed path delay faults.
494-501
Electronic Edition (ACM DL) BibTeX
- Keerthi Heragu, Janak H. Patel, Vishwani D. Agrawal:
SIGMA: a simulator for segment delay faults.
502-508
Electronic Edition (ACM DL) BibTeX
- Minesh B. Amin, Bapiraju Vinnakota:
Zamlog: a parallel algorithm for fault simulation based on Zambezi.
509-512
Electronic Edition (ACM DL) BibTeX
- Gordon W. Roberts:
Metrics, techniques and recent developments in mixed-signal testing.
514-521
Electronic Edition (ACM DL) BibTeX
- Kenneth L. Shepard, Vinod Narayanan:
Noise in deep submicron digital design.
524-531
Electronic Edition (ACM DL) BibTeX
- David C. Ku, James A. Rowson:
Intranets and EDA: impact, application, and technology.
534
Electronic Edition (ACM DL) BibTeX
- Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli:
Digital sensitivity: predicting signal interaction using functional analysis.
536-541
Electronic Edition (ACM DL) BibTeX
- Scott Woods, Giorgio Casinovi:
Efficient solution of systems of Boolean equations.
542-546
Electronic Edition (ACM DL) BibTeX
- Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli:
Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions.
547-554
Electronic Edition (ACM DL) BibTeX
- Jun-Fa Mao, Janet Meiling Wang, Ernest S. Kuh:
Simulation and sensitivity analysis of transmission line circuits by the characteristics method.
556-562
Electronic Edition (ACM DL) BibTeX
- Mustafa Celik, Andreas C. Cangellaris:
A general dispersive multiconductor transmission line model for interconnect simulation in SPICE.
563-568
Electronic Edition (ACM DL) BibTeX
- Sharad Kapur, David E. Long, Jaijeet S. Roychowdhury:
Efficient time-domain simulation of frequency-dependent elements.
569-573
Electronic Edition (ACM DL) BibTeX
- Chih-Shun Ding, Cheng-Ta Hsieh, Qing Wu, Massoud Pedram:
Stratified random sampling for power estimation.
576-582
Electronic Edition (ACM DL) BibTeX
- Cheng-Ta Hsieh, Qing Wu, Chih-Shun Ding, Massoud Pedram:
Statistical sampling and regression analysis for RT-level power evaluation.
583-588
Electronic Edition (ACM DL) BibTeX
- Dennis J. Ciplickas, Ronald A. Rohrer:
Expected current distributions for CMOS circuits.
589-592
Electronic Edition (ACM DL) BibTeX
- Chauchin Su, Yue-Tsang Chen, Shyh-Jye Jou, Yuan-Tzu Ting:
Metrology for analog module testing using analog testability bus.
594-599
Electronic Edition (ACM DL) BibTeX
- Marcelo Lubaszewski, Salvador Mir, Leandro Pulz:
ABILBO: Analog BuILt-in Block Observer.
600-603
Electronic Edition (ACM DL) BibTeX
- Walter M. Lindermeir:
Design of robust test criteria in analog testing.
604-611
Electronic Edition (ACM DL) BibTeX
- Balakrishnan Iyer, Maciej J. Ciesielski:
Metamorphosis: state assignment by retiming and re-encoding.
614-617
Electronic Edition (ACM DL) BibTeX
- Vigyan Singhal, Sharad Malik, Robert K. Brayton:
The case for retiming with explicit reset circuitry.
618-625
Electronic Edition (ACM DL) BibTeX
- Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk:
Polarized observability don't cares.
626-631
Electronic Edition (ACM DL) BibTeX
- Inki Hong, Miodrag Potkonjak:
Power optimization in disk-based real-time application specific systems.
634-637
Electronic Edition (ACM DL) BibTeX
- Wen-Jong Fang, Allen C.-H. Wu:
A hierarchical functional structuring and partitioning approach for multiple-FPGA implementations.
638-643
Electronic Edition (ACM DL) BibTeX
- Shin-ichi Minato:
Generation of BDDs from hardware algorithm descriptions.
644-649
Electronic Edition (ACM DL) BibTeX
- Vaughn Betz, Jonathan Rose:
Directional bias and non-uniformity in FPGA global routing architectures.
652-659
Electronic Edition (ACM DL) BibTeX
- Avaneendra Gupta, John P. Hayes:
Width minimization of two-dimensional CMOS cells using integer programming.
660-667
Electronic Edition (ACM DL) BibTeX
- Man-Fai Yu, Joel Darnauer, Wayne Wei-Ming Dai:
Interchangeable pin routing with application to package layout.
668-673
Electronic Edition (ACM DL) BibTeX
- Xiao-Tao Chen, Fabrizio Lombardi:
A coloring approach to the structural diagnosis of interconnects.
676-680
Electronic Edition (ACM DL) BibTeX
- Vamsi Boppana, W. Kent Fuchs:
Integrated fault diagnosis targeting reduced simulation.
681-684
Electronic Edition (ACM DL) BibTeX
- Kanad Chakraborty, Pinaki Mazumder:
An efficient, bus-layout based method for early diagnosis of bussed driver shorts in printed circuit boards.
685-688
Electronic Edition (ACM DL) BibTeX
- Wojciech Maly, Hans T. Heineken, Jitendra Khare, Pranab K. Nag:
Design for manufacturability in submicron domain.
690-697
Electronic Edition (ACM DL) BibTeX
- Ralph H. J. M. Otten, Lukas P. P. P. van Ginneken, Narendra V. Shenoy:
Embedded tutorial: Speed - new paradigms in design for performance.
700
Electronic Edition (ACM DL) BibTeX
Copyright © Wed Jun 4 18:38:42 2008
by Michael Ley (ley@uni-trier.de)
