37. DAC 2000:
Los Angeles,
CA,
USA
Proceedings of the 37th Conference on Design Automation,
Los Angeles,
CA,
USA,
June 5-9,
2000. ACM,
2000
- Rodney Phelps, Michael Krasnicki, Rob A. Rutenbar, L. Richard Carley, James R. Hellums:
A case study of synthesis for industrial-scale analog IP: redesign of the equalizer/filter frontend for an ADSL CODEC.
1-6
Electronic Edition (ACM DL) BibTeX
- Peter J. Vancorenland, Carl De Ranter, Michiel Steyaert, Georges G. E. Gielen:
Optimal RF design using smart evolutionary algorithms.
7-10
Electronic Edition (ACM DL) BibTeX
- Carl De Ranter, B. De Muer, Geert Van der Plas, Peter J. Vancorenland, Michiel Steyaert, Georges G. E. Gielen, Willy M. C. Sansen:
CYCLONE: automated design and layout of RF LC-oscillators.
11-14
Electronic Edition (ACM DL) BibTeX
- Carlo Guardiani, Sharad Saxena, Patrick McNamara, Phillip Schumaker, Dale Coder:
An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component mismatch effects.
15-18
Electronic Edition (ACM DL) BibTeX
- Tao Pi, C.-J. Richard Shi:
Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits.
19-22
Electronic Edition (ACM DL) BibTeX
- In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi:
To split or to conjoin: the question in image computation.
23-28
Electronic Edition (ACM DL) BibTeX
- Roderick Bloem, Kavita Ravi, Fabio Somenzi:
Symbolic guided search for CTL model checking.
29-34
Electronic Edition (ACM DL) BibTeX
- Jin Yang, Andreas Tiemeyer:
Lazy symbolic model checking.
35-38
Electronic Edition (ACM DL) BibTeX
- Andreas Hett, Christoph Scholl, Bernd Becker:
Distance driven finite state machine traversal.
39-42
Electronic Edition (ACM DL) BibTeX
- Indradeep Ghosh, Masahiro Fujita:
Automatic test pattern generation for functional RTL circuits using assignment decision diagrams.
43-48
Electronic Edition (ACM DL) BibTeX
- Ian G. Harris, Russell Tessier:
Interconnect testing in cluster-based FPGA architectures.
49-54
Electronic Edition (ACM DL) BibTeX
- Ismet Bayraktaroglu, Alex Orailoglu:
Improved fault diagnosis in scan-based BIST via superposition.
55-58
Electronic Edition (ACM DL) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
On diagnosis of pattern-dependent delay faults.
59-62
Electronic Edition (ACM DL) BibTeX
- Kaushik Gala, Vladimir Zolotov, Rajendran Panda, Brian Young, Junfeng Wang, David Blaauw:
On-chip inductance modeling and analysis.
63-68
Electronic Edition (ACM DL) BibTeX
- Eileen You, Lakshminarasimh Varadadesikan, John MacDonald, Wieze Xie:
A practical approach to parasitic extraction for design of multimillion-transistor integrated circuits.
69-74
Electronic Edition (ACM DL) BibTeX
- H. Levy, W. Scott, Don MacMillen, Jacob White:
A rank-one update method for efficient processing of interconnect parasitics in timing analysis.
75-78
Electronic Edition (ACM DL) BibTeX
- Andrew B. Kahng, Sudhakar Muddu, Egino Sarto:
On switch factor based analysis of coupled RC interconnects.
79-84
Electronic Edition (ACM DL) BibTeX
- Rob A. Rutenbar, Cheming Hu, Mark Horowitz, Stephen Y. Chow:
Life at the end of CMOS scaling (and beyond) (panel session) (abstract only).
85
Electronic Edition (ACM DL) BibTeX
- Dirk-Jan Jongeneel, Yosinori Watanabe, Robert K. Brayton, Ralph H. J. M. Otten:
Area and search space control for technology mapping.
86-91
Electronic Edition (ACM DL) BibTeX
- Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal:
BDS: a BDD-based logic optimization system.
92-97
Electronic Edition (ACM DL) BibTeX
- Junhyung Um, Taewhan Kim, C. L. Liu:
A fine-grained arithmetic optimization technique for high-performance/low-power data path synthesis.
98-103
Electronic Edition (ACM DL) BibTeX
- Hai Zhou, D. F. Wong:
Optimal low power X OR gate decomposition.
104-107
Electronic Edition (ACM DL) BibTeX
- Seapahn Meguerdichian, Miodrag Potkonjak:
Watermarking while preserving the critical path.
108-111
Electronic Edition (ACM DL) BibTeX
- Miroslav N. Velev, Randal E. Bryant:
Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction.
112-117
Electronic Edition (ACM DL) BibTeX
- Chung-Yang Huang, Kwang-Ting Cheng:
Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.
118-123
Electronic Edition (ACM DL) BibTeX
- Chris Wilson, David L. Dill:
Reliable verification using symbolic simulation with scalar values.
124-129
Electronic Edition (ACM DL) BibTeX
- David W. Currie, Alan J. Hu, Sreeranga P. Rajan:
Automatic formal verification of DSP software.
130-135
Electronic Edition (ACM DL) BibTeX
- Yervant Zorian, Erik Jan Marinissen:
System chip test: how will it impact your design?
136-141
Electronic Edition (ACM DL) BibTeX
- Kwang-Ting Cheng, Sujit Dey, Mike Rodgers, Kaushik Roy:
Test challenges for deep sub-micron technologies.
142-149
Electronic Edition (ACM DL) BibTeX
- Min Zhao, Rajendran Panda, Sachin S. Sapatnekar, Tim Edwards, Rajat Chaudhry, David Blaauw:
Hierarchical analysis of power distribution networks.
150-155
Electronic Edition (ACM DL) BibTeX
- Sani R. Nassif, Joseph N. Kozhaya:
Fast power grid simulation.
156-161
Electronic Edition (ACM DL) BibTeX
- Rajat Chaudhry, David Blaauw, Rajendran Panda, Tim Edwards:
Current signature compression for IR-drop analysis.
162-167
Electronic Edition (ACM DL) BibTeX
- Ying Liu, Sani R. Nassif, Lawrence T. Pileggi, Andrzej J. Strojwas:
Impact of interconnect variations on the clock skew of a gigahertz microprocessor.
168-171
Electronic Edition (ACM DL) BibTeX
- Vikas Mehrotra, Shiou Lin Sam, Duane S. Boning, Anantha Chandrakasan, Rakesh Vallishayee, Sani R. Nassif:
A methodology for modeling the effects of systematic within-die interconnect and device variation on circuit performance.
172-175
Electronic Edition (ACM DL) BibTeX
- Raul Camposano, Jacob Greidinger, Patrick Groeneveld, Michael Jackson, Lawrence T. Pileggi, Louis Scheffer:
Design closure (panel session): hope or hype?
176-177
Electronic Edition (ACM DL) BibTeX
- Baolin Yang, Joel R. Phillips:
A multi-interval Chebyshev collocation method for efficient high-accuracy RF circuit simulation.
178-183
Electronic Edition (ACM DL) BibTeX
- Joel R. Phillips:
Projection frameworks for model reduction of weakly nonlinear systems.
184-189
Electronic Edition (ACM DL) BibTeX
- Chandramouli V. Kashyap, Byron Krauter:
A realizable driving point model for on-chip interconnect with inductance.
190-195
Electronic Edition (ACM DL) BibTeX
- Amit Goel, William R. Lee:
Formal verification of an IBM CoreConnect processor local bus arbiter core.
196-200
Electronic Edition (ACM DL) BibTeX
- Mark Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger:
Formal verification of iterative algorithms in microprocessors.
201-206
Electronic Edition (ACM DL) BibTeX
- John Lach, William H. Mangione-Smith, Miodrag Potkonjak:
Efficient error detection, localization, and correction for FPGA-based debugging.
207-212
Electronic Edition (ACM DL) BibTeX
- Shukri J. Souri, Kaustav Banerjee, Amit Mehrotra, Krishna Saraswat:
Multiple Si layer ICs: motivation, performance analysis, and design implications.
213-220
Electronic Edition (ACM DL) BibTeX
- V. E. Boros, Aleksandar D. Rakic, Sri Parameswaran:
High-level model of a WDMA passive optical bus for a reconfigurable multiprocessor system.
221-226
Electronic Edition (ACM DL) BibTeX
- Michael T. Niemier, Michael J. Kontz, Peter M. Kogge:
A design of and design tools for a novel quantum dot based microprocessor.
227-232
Electronic Edition (ACM DL) BibTeX
- Rafi Levy, David Blaauw, Gabi Braca, Aurobindo Dasgupta, Amir Grinshpon, Chanhee Oh, Boaz Orshav, Supamas Sirichotiyakul, Vladimir Zolotov:
ClariNet: a noise analysis tool for deep submicron design.
233-238
Electronic Edition (ACM DL) BibTeX
- Kenneth L. Shepard, Dae-Jin Kim:
Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology.
239-242
Electronic Edition (ACM DL) BibTeX
- Dinesh Somasekhar, Seung Hoon Choi, Kaushik Roy, Yibin Ye, Vivek De:
Dynamic noise analysis in precharge-evaluate circuits.
243
Electronic Edition (ACM DL) BibTeX
- Janet Meiling Wang, Tuyen V. Nguyen:
Extended Krylov subspace method for reduced order analysis of linear circuits with multiple sources.
247-252
Electronic Edition (ACM DL) BibTeX
- Jennifer Smith, Tom Quan, Andrew B. Kahng:
EDA meets.COM (panel session): how E-services will change the EDA business model.
253
Electronic Edition (ACM DL) BibTeX
- Clayton B. McDonald, Randal E. Bryant:
Symbolic timing simulation using cluster scheduling.
254-259
Electronic Edition (ACM DL) BibTeX
- Soha Hassoun:
Critical path analysis using a dynamically bounded delay model.
260-265
Electronic Edition (ACM DL) BibTeX
- Ravishankar Arunachalam, Karthik Rajagopal, Lawrence T. Pileggi:
TACO: timing analysis with coupling.
266-269
Electronic Edition (ACM DL) BibTeX
- David Blaauw, Rajendran Panda, Abhijit Das:
Removing user specified false paths from timing graphs.
270-273
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Sung Kyu Lim, Chang Wu:
Performance driven multi-level and multiway partitioning with retiming.
274-279
Electronic Edition (ACM DL) BibTeX
- Ki-Wook Kim, Unni Narayanan, Sung-Mo Kang:
Domino logic synthesis minimizing crosstalk.
280-285
Electronic Edition (ACM DL) BibTeX
- Chih-Wei Jim Chang, Chung-Kuan Cheng, Peter Suaris, Malgorzata Marek-Sadowska:
Fast post-placement rewiring using easily detectable functional symmetries.
286-289
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Hui Huang:
Depth optimal incremental mapping for field programmable gate arrays.
290-293
Electronic Edition (ACM DL) BibTeX
- Haris Lekatsas, Jörg Henkel, Wayne Wolf:
Code compression for low power embedded system design.
294-299
Electronic Edition (ACM DL) BibTeX
- Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino:
Synthesis of application-specific memories for power optimization in embedded systems.
300-303
Electronic Edition (ACM DL) BibTeX
- Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Wu Ye:
Influence of compiler optimizations on system power.
304-307
Electronic Edition (ACM DL) BibTeX
- Catherine H. Gebotys, Robert J. Gebotys, S. Wiratunga:
Power minimization derived from architectural-usage of VLIW processors.
308-311
Electronic Edition (ACM DL) BibTeX
- Robert P. Dick, Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha:
Power analysis of embedded operating systems.
312-315
Electronic Edition (ACM DL) BibTeX
- Peter Grun, Nikil D. Dutt, Alexandru Nicolau:
Memory aware compilation through accurate timing extraction.
316-321
Electronic Edition (ACM DL) BibTeX
- Stephen A. Edwards:
Compiling Esterel into sequential code.
322-327
Electronic Edition (ACM DL) BibTeX
- Thierry J.-F. Omnés, Thierry Franzetti, Francky Catthoor:
Interactive co-design of high throughput embedded multimedia.
328-331
Electronic Edition (ACM DL) BibTeX
- Naji Ghazal, A. Richard Newton, Jan M. Rabaey:
Predicting performance potential of modern DSPs.
332-335
Electronic Edition (ACM DL) BibTeX
- Brain Dipert, Danesh Tavana, Barry K. Britton, Bill Harris, Bob Boderson, Chris Rowen:
Future systems-on-chip: software of hardware design? (panel session).
336-337
Electronic Edition (ACM DL) BibTeX
- A. Richard Newton, Walden C. Rhines, Sünke Mehrgardt, Henry Samueli, Tudor Brown:
Embedded systems design in the new millennium (panel session).
338-339
Electronic Edition (ACM DL) BibTeX
- Wu Ye, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin:
The design and use of simplepower: a cycle-accurate energy estimation tool.
340-345
Electronic Edition (ACM DL) BibTeX
- Carlo Brandolese, William Fornaciari, Fabio Salice, Donatella Sciuto:
An instruction-level functionally-based energy estimation model for 32-bits microprocessors.
346-351
Electronic Edition (ACM DL) BibTeX
- Qinru Qiu, Qing Wu, Massoud Pedram:
Dynamic power management of complex systems using generalized stochastic Petri nets.
352-356
Electronic Edition (ACM DL) BibTeX
- Luca Macchiarulo, Malgorzata Marek-Sadowska:
Wave-steering one-hot encoded FSMs.
357-360
Electronic Edition (ACM DL) BibTeX
- Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Performance analysis and optimization of latency insensitive systems.
361-367
Electronic Edition (ACM DL) BibTeX
- Ashok Jagannathan, Sung-Woo Hur, John Lillis:
A fast algorithm for context-aware buffer insertion.
368-373
Electronic Edition (ACM DL) BibTeX
- Minghorng Lai, D. F. Wong:
Maze routing with buffer insertion and wiresizing.
374-378
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Xin Yuan:
Routing tree construction under fixed buffer locations.
379-384
Electronic Edition (ACM DL) BibTeX
- Thorsten Adler, Hiltrud Brocke, Lars Hedrich, Erich Barke:
A current driven routing and verification methodology for analog applications.
385-389
Electronic Edition (ACM DL) BibTeX
- JoAnn M. Paul, Simon N. Peffers, Donald E. Thomas:
A codesign virtual machine for hierarchical, balanced hardware/software system modeling.
390-395
Electronic Edition (ACM DL) BibTeX
- Dirk Desmet, Diederik Verkest, Hugo De Man:
Operating system based software generation for systems-on-chip.
396-401
Electronic Edition (ACM DL) BibTeX
- Erwin A. de Kock, W. J. M. Smits, Pieter van der Wolf, Jean-Yves Brunel, W. M. Kruijtzer, Paul Lieverse, Kees A. Vissers, Gerben Essink:
YAPI: application modeling for signal processing systems.
402-405
Electronic Edition (ACM DL) BibTeX
- Jean-Yves Brunel, W. M. Kruijtzer, H. J. H. N. Kenter, Frédéric Pétrot, L. Pasquier, Erwin A. de Kock, W. J. M. Smits:
COSY communication IP's.
406-409
Electronic Edition (ACM DL) BibTeX
- Pai H. Chou, Gaetano Borriello:
Synthesis and optimization of coordination controllers for distributed embedded systems.
410-415
Electronic Edition (ACM DL) BibTeX
- Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas:
Application-specific memory management for embedded systems using software-controlled caches.
416-419
Electronic Edition (ACM DL) BibTeX
- Reinaldo A. Bergamaschi, William R. Lee:
Designing systems-on-chip using cores.
420-425
Electronic Edition (ACM DL) BibTeX
- Marinés Puig-Medina, Gülbin Ezer, Pavlos Konas:
Verification of configurable processor cores.
426-431
Electronic Edition (ACM DL) BibTeX
- Krishnendu Chakrabarty:
Design of system-on-a-chip test access architectures under place-and-route and power constraints.
432-437
Electronic Edition (ACM DL) BibTeX
- Richard Goering, Clifford E. Cummings, Steven E. Schulz, Simon Davidman, John Sanguinetti, Joachim Kunkel, Oz Levia:
The future of system design languages (panel session).
438-439
Electronic Edition (ACM DL) BibTeX
- Gerd Vandersteen, Piet Wambacq, Yves Rolain, Petr Dobrovolný, Stéphane Donnay, Marc Engels, Ivo Bolsens:
A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers.
440-445
Electronic Edition (ACM DL) BibTeX
- Marc van Heijningen, Mustafa Badaroglu, Stéphane Donnay, Marc Engels, Ivo Bolsens:
High-level simulation of substrate noise generation including power supply noise coupling.
446-451
Electronic Edition (ACM DL) BibTeX
- Geert Van der Plas, Jan Vandenbussche, Walter Daems, Antal van den Bosch, Georges G. E. Gielen, Willy M. C. Sansen:
Systematic design of a 14-bit 150-MS/s CMOS current-steering D/A converter.
452-457
Electronic Edition (ACM DL) BibTeX
- Yun-Chih Chang, Yao-Wen Chang, Guang-Ming Wu, Shu-Wei Wu:
B*-Trees: a new representation for non-slicing floorplans.
458-463
Electronic Edition (ACM DL) BibTeX
- Yingxin Pang, Florin Balasa, Koen Lampaert, Chung-Kuan Cheng:
Block placement with symmetry constraints based on the O-tree non-slicing representation.
464-467
Electronic Edition (ACM DL) BibTeX
- Pinghong Chen, Ernest S. Kuh:
Floorplan sizing by linear programming approximation.
468-471
Electronic Edition (ACM DL) BibTeX
- Shih-Lian T. Ou, Massoud Pedram:
Timing-driven placement based on partitioning with dynamic cut-net control.
472-476
Electronic Edition (ACM DL) BibTeX
- Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Can recursive bisection alone produce routable placements?
477-482
Electronic Edition (ACM DL) BibTeX
- Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin:
Task scheduling with RT constraints.
483-488
Electronic Edition (ACM DL) BibTeX
- Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
Task generation and compile-time scheduling for mixed data-control embedded software.
489-494
Electronic Edition (ACM DL) BibTeX
- Youngsoo Shin, Daehong Kim, Kiyoung Choi:
Schedulability-driven performance analysis of multiple mode embedded real-time systems.
495-500
Electronic Edition (ACM DL) BibTeX
- Athanassios Boulis, Mani B. Srivastava:
System design of active basestations based on dynamically reconfigurable hardware.
501-506
Electronic Edition (ACM DL) BibTeX
- Yanbing Li, Tim Callahan, Ervan Darnell, Randolph E. Harr, Uday Kurkure, Jon Stockwood:
Hardware-software co-design of embedded reconfigurable architectures.
507-512
Electronic Edition (ACM DL) BibTeX
- Kanishka Lahiri, Anand Raghunathan, Ganesh Lakshminarayana, Sujit Dey:
Communication architecture tuners: a methodology for the design of high-performance communication architectures for systems-on-chips.
513-518
Electronic Edition (ACM DL) BibTeX
- Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf:
Embedded systems education (panel abstract).
519
Electronic Edition (ACM DL) BibTeX
- Qingjian Yu, Janet Meiling Wang, Ernest S. Kuh:
Passive model order reduction algorithm based on Chebyshev expansion of impulse response of interconnect networks.
520-525
Electronic Edition (ACM DL) BibTeX
- Emad Gad, Anestis Dounavis, Michel S. Nakhla, Ramachandra Achar:
Passive model order reduction of multiport distributed interconnects.
526-531
Electronic Edition (ACM DL) BibTeX
- Bernard N. Sheehan:
Predicting coupled noise in RC circuits by matching 1, 2, and 3 moments.
532-535
Electronic Edition (ACM DL) BibTeX
- Jinsong Zhao:
Singularity-treated quadrature-evaluated method of moments solver for 3-D capacitance extraction.
536-539
Electronic Edition (ACM DL) BibTeX
- Zhong Wang, Michael Kirkpatrick, Edwin Hsing-Mean Sha:
Optimal two level partitioning and loop scheduling for hiding memory latency for DSP applications.
540-545
Electronic Edition (ACM DL) BibTeX
- M. Narasimhan, J. Ramanujam:
On lower bounds for scheduling problems in high-level synthesis.
546-551
Electronic Edition (ACM DL) BibTeX
- Jens Horstmannshoff, Heinrich Meyr:
Efficient building block based RTL code generation from synchronous data flow graphs.
552-555
Electronic Edition (ACM DL) BibTeX
- Peeter Ellervee, Miguel Miranda, Francky Catthoor, Ahmed Hemani:
System-level data format exploration for dynamically allocated data structures.
556-559
Electronic Edition (ACM DL) BibTeX
- Daniel Foty, David Binkley:
MOSFET modeling and circuit design: re-establishing a lost connection (tutorial).
560
Electronic Edition (ACM DL) BibTeX
- Brad L. Hutchings, Brent E. Nelson:
Using general-purpose programming languages for FPGA design.
561-566
Electronic Edition (ACM DL) BibTeX
- Yao-Wen Chang, Yu-Tsang Chang:
An architecture-driven metric for simultaneous placement and global routing for FPGAs.
567-572
Electronic Edition (ACM DL) BibTeX
- Hartej Singh, Guangming Lu, Eliseu M. Chaves Filho, Rafael Maestre, Ming-Hau Lee, Fadi J. Kurdahi, Nader Bagherzadeh:
MorphoSys: case study of a reconfigurable computing system targeting multimedia applications.
573-578
Electronic Edition (ACM DL) BibTeX
- Stephan Ohr, Rob A. Rutenbar, Henry Chang, Georges G. E. Gielen, Rudolf Koch, Roy McGuffin, K. C. Murphy:
Survival strategies for mixed-signal systems-on-chip (panel session).
579-580
Electronic Edition (ACM DL) BibTeX
- Darko Kirovski, David T. Liu, Jennifer L. Wong, Miodrag Potkonjak:
Forensic engineering techniques for VLSI CAD tools.
581-586
Electronic Edition (ACM DL) BibTeX
- Gang Qu, Miodrag Potkonjak:
Fingerprinting intellectual property using constraint-addition.
587-592
Electronic Edition (ACM DL) BibTeX
- Marcello Dalpasso, Alessandro Bogliolo, Luca Benini:
Hardware/software IP protection.
593-596
Electronic Edition (ACM DL) BibTeX
- Alessandro Fin, Franco Fummi:
A Web-CAD methodology for IP-core analysis and simulation.
597-600
Electronic Edition (ACM DL) BibTeX
- Gianpiero Cabodi, Stefano Quer, Fabio Somenzi:
Optimizing sequential verification by retiming transformations.
601-606
Electronic Edition (ACM DL) BibTeX
- Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Efficient methods for embedded system design space exploration.
607-612
Electronic Edition (ACM DL) BibTeX
- Mehrdad Nourani, Joan Carletta, Christos A. Papachristou:
Synthesis-for-testability of controller-datapath pairs that use gated clocks.
613-618
Electronic Edition (ACM DL) BibTeX
- Xiaoliang Bai, Sujit Dey, Janusz Rajski:
Self-test methodology for at-speed test of crosstalk in chip interconnects.
619-624
Electronic Edition (ACM DL) BibTeX
- Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng:
Embedded hardware and software self-testing methodologies for processor cores.
625-630
Electronic Edition (ACM DL) BibTeX
- Amir Attarha, Mehrdad Nourani, Caro Lucas:
Modeling and simulation of real defects using fuzzy logic.
631-636
Electronic Edition (ACM DL) BibTeX
- David G. Chinnery, Kurt Keutzer:
Closing the gap between ASIC and custom: an ASIC perspective.
637-642
Electronic Edition (ACM DL) BibTeX
- William J. Dally, Andrew Chang:
The role of custom design in ASIC Chips.
643-647
Electronic Edition (ACM DL) BibTeX
- John M. Cohn, Rob A. Rutenbar, Steve Young, Chris Malachowsky, Luis Aldaz:
Case studies: Chip design on the bleeding edge (panel session abstract).
648
Electronic Edition (ACM DL) BibTeX
- Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi:
MINFLOTRANSIT: min-cost flow based transistor sizing tool.
649-664
Electronic Edition (ACM DL) BibTeX
- Mahesh Ketkar, Kishore Kasamsetty, Sachin S. Sapatnekar:
Convex delay models for transistor sizing.
655-660
Electronic Edition (ACM DL) BibTeX
- Mahadevamurty Nemani, Vivek Tiwari:
Macro-driven circuit design methodology for high-performance datapaths.
661-666
Electronic Edition (ACM DL) BibTeX
- Ruiqi Tian, D. F. Wong, Robert Boone:
Model-based dummy feature placement for oxide chemical-mechanical polishing manufacturability.
667-670
Electronic Edition (ACM DL) BibTeX
- Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexander Zelikovsky:
Practical iterated fill synthesis for CMP uniformity.
671-674
Electronic Edition (ACM DL) BibTeX
- João P. Marques Silva, Karem A. Sakallah:
Boolean satisfiability in electronic design automation.
675-680
Electronic Edition (ACM DL) BibTeX
- Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu:
Analysis of composition complexity and how to obtain smaller canonical graphs.
681-686
Electronic Edition (ACM DL) BibTeX
- Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita:
Efficient variable ordering using aBDD based sampling.
687-692
Electronic Edition (ACM DL) BibTeX
- Andrew E. Caldwell, Yu Cao, Andrew B. Kahng, Farinaz Koushanfar, Hua Lu, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester:
GTX: the MARCO GSRC technology extrapolation system.
693-698
Electronic Edition (ACM DL) BibTeX
- Peter van den Hamer, W. P. M. van der Linden, Peter Bingley, N. W. Schellingerhout:
A system simulation framework.
699-704
Electronic Edition (ACM DL) BibTeX
- Stephen Fenstermaker, David George, Andrew B. Kahng, Stefanus Mantik, Bart Thielges:
METRICS: a system architecture for design process optimization.
705-710
Electronic Edition (ACM DL) BibTeX
- Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich:
Web-based frameworks to enable CAD RD (abstract).
711
Electronic Edition (ACM DL) BibTeX
- Stephen D. Posluszny, N. Aoki, David Boerstler, P. Coulman, Sang H. Dhong, Brian K. Flachs, H. Peter Hofstee, N. Kojima, Ohsang Kwon, K. Lee, D. Meltzer, Kevin J. Nowka, J. Park, J. Peter, Joel Silberman, Osamu Takahashi, Paul Villarrubia:
"Timing closure by design, " a high frequency microprocessor design methodology.
712-717
Electronic Edition (ACM DL) BibTeX
- Jen-Tien Yen, Qichao Richard Yin:
Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor.
718-723
Electronic Edition (ACM DL) BibTeX
- Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk:
A methodology for formal design of hardware control with application to cache coherence protocols.
724-729
Electronic Edition (ACM DL) BibTeX
- Alan J. Drake, Todd D. Basso, Spencer M. Gold, Keith L. Kraver, Phiroze N. Parakh, Claude R. Gauthier, P. Sean Stetson, Richard B. Brown:
CGaAs PowerPC FXU.
730-735
Electronic Edition (ACM DL) BibTeX
- N. S. Nagaraj, Andrzej J. Strojwas, Sani R. Nassif, Ray Hokinson, Tak Young, Wonjae L. Kang, David Overhauser, Sung-Mo Kang:
When bad things happen to good chips (panel session).
736-737
Electronic Edition (ACM DL) BibTeX
- Joe Kanapka, Joel R. Phillips, Jacob White:
Fast methods for extraction and sparsification of substrate coupling.
738-743
Electronic Edition (ACM DL) BibTeX
- Sharad Kapur, David E. Long:
Large-scale capacitance calculation.
744-749
Electronic Edition (ACM DL) BibTeX
- Ching-Han Tsai, Sung-Mo Kang:
Fast temperature calculation for transient electrothermal simulation by mixed frequency/time domain thermal model reduction.
750-755
Electronic Edition (ACM DL) BibTeX
- William E. Dougherty, Donald E. Thomas:
Unifying behavioral synthesis and physical design.
756-761
Electronic Edition (ACM DL) BibTeX
- Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
762-767
Electronic Edition (ACM DL) BibTeX
- Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.:
The use of carry-save representation in joint module selection and retiming.
768-773
Electronic Edition (ACM DL) BibTeX
- Khaled Saab, Naim Ben Hamida, Bozena Kaminska:
Closing the gap between analog and digital.
774-779
Electronic Edition (ACM DL) BibTeX
- Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff:
A switch level fault simulation environment.
780-785
Electronic Edition (ACM DL) BibTeX
- Kumar N. Dwarakanath, Ronald D. Blanton:
Universal fault simulation using fault tuples.
786-789
Electronic Edition (ACM DL) BibTeX
- Sujit T. Zachariah, Sreejit Chakravarty, Carl D. Roth:
A novel algorithm to extract two-node bridges.
790-793
Electronic Edition (ACM DL) BibTeX
- M. Srikanth Rao, S. K. Nandy:
Power minimization using control generated clocks.
794-799
Electronic Edition (ACM DL) BibTeX
- Naehyuck Chang, Kwanho Kim, Jinsung Cho:
Bus encoding for low-power high-performance memory systems.
800-805
Electronic Edition (ACM DL) BibTeX
- Seongsoo Lee, Takayasu Sakurai:
Run-time voltage hopping for low-power real-time systems.
806-809
Electronic Edition (ACM DL) BibTeX
- Gang Qu, Naoyuki Kawabe, Kimiyoshi Usami, Miodrag Potkonjak:
Function-level power estimation methodology for microprocessors.
810-813
Electronic Edition (ACM DL) BibTeX
- Dan Schweikert, Joseph B. Costello, Rajeev Madhavan, Y. C. Pati, Judy Owen, Steve Carlson, Moshe Gavrielov:
Emerging companies - acquiring minds want to know (panel session).
814-815
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:04:37 2009
by Michael Ley (ley@uni-trier.de)
