36. DAC 1999:
New Orleans,
LA,
USA
Proceedings of the 36th Conference on Design Automation,
New Orleans,
LA,
USA,
June 21-25,
1999. ACM Press,
1999
- Jing-Rebecca Li, Frank Wang, Jacob White:
An Efficient Lyapunov Equation-Based Approach for Generating Reduced-Order Models of Interconnect.
1-6
Electronic Edition (ACM DL) BibTeX
- Chung-Ping Chen, D. F. Wong:
Error Bounded Padé Approximation via Bilinear Conformal Transformation.
7-12
Electronic Edition (ACM DL) BibTeX
- Pavan K. Gunupudi, Michel S. Nakhla:
Model-Reduction of Nonlinear Circuits Using Krylov-Space Techniques.
13-16
Electronic Edition (ACM DL) BibTeX
- Bernard N. Sheehan:
ENOR: Model Order Reduction of RLC Circuits Using Nodal Equations for Efficient Factorization.
17-21
Electronic Edition (ACM DL) BibTeX
- Mukul R. Prasad, Philip Chong, Kurt Keutzer:
Why is ATPG Easy?
22-28
Electronic Edition (ACM DL) BibTeX
- Rolf Drechsler, Wolfgang Günther:
Using Lower Bounds During Dynamic BDD Minimization.
29-32
Electronic Edition (ACM DL) BibTeX
- Gang Qu, Jennifer L. Wong, Miodrag Potkonjak:
Optimization-Intensive Watermarking Techniques for Decision Problems.
33-36
Electronic Edition (ACM DL) BibTeX
- Ali Dasdan, Sandy Irani, Rajesh K. Gupta:
Efficient Algorithms for Optimum Cycle Mean and Optimum Cost to Time Ratio Problems.
37-42
Electronic Edition (ACM DL) BibTeX
- Daniel Gajski:
IP-based Design Methodology.
43
Electronic Edition (ACM DL) BibTeX
- Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partridge, Gaetano Borriello:
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems.
44-49
Electronic Edition (ACM DL) BibTeX
- Marcello Dalpasso, Alessandro Bogliolo, Luca Benini:
Virtual Simulation of Distributed IP-based Designs.
50-55
Electronic Edition (ACM DL) BibTeX
- Ganesh Lakshminarayana, Anand Raghunathan, Kamal S. Khouri, Niraj K. Jha, Sujit Dey:
Common-Case Computation: A High-Level Technique for Power and Performance Optimization.
56-61
Electronic Edition (ACM DL) BibTeX
- Ching-Wei Yeh, Yin-Shuin Kang, Shan-Jih Shieh, Jinn-Shyan Wang:
Layout Techniques Supporting the Use of Dual Supply Voltages for Cell-based Designs.
62-67
Electronic Edition (ACM DL) BibTeX
- Ching-Wei Yeh, Min-Cheng Chang, Shih-Chieh Chang, Wen-Ben Jone:
Gate-Level Design Exploiting Dual Supply Voltages for Power-Driven Applications.
68-71
Electronic Edition (ACM DL) BibTeX
- Vijay Sundararajan, Keshab K. Parhi:
Synthesis of Low Power CMOS VLSI Circuits Using Dual Supply Voltages.
72-75
Electronic Edition (ACM DL) BibTeX
- Raul Camposano, Kurt Keutzer, Jerry Fiddler, Alberto L. Sangiovanni-Vincentelli, Jim Lansford:
HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night.
76-77
Electronic Edition (ACM DL) BibTeX
- Xiang-Dong Tan, C.-J. Richard Shi, Dragos Lungeanu, Jyh-Chwen Lee, Li-Pen Yuan:
Reliability-Constrained Area Optimization of VLSI Power/Ground Networks via Sequence of Linear Programmings.
78-83
Electronic Edition (ACM DL) BibTeX
- Jiang Hu, Sachin S. Sapatnekar:
FAR-DS: Full-Plane AWE Routing with Driver Sizing.
84-89
Electronic Edition (ACM DL) BibTeX
- Iris Hui-Ru Jiang, Jing-Yang Jou, Yao-Wen Chang:
Noise-Constrained Performance Optimization by Simultaneous Gate and Wire Sizing Based on Lagrangian Relaxation.
90-95
Electronic Edition (ACM DL) BibTeX
- Hai Zhou, D. F. Wong, I-Min Liu, Adnan Aziz:
Simultaneous Routing and Buffer Insertion with Restrictions on Buffer Locations.
96-99
Electronic Edition (ACM DL) BibTeX
- Prashant Saxena, C. L. Liu:
Crosstalk Minimization Using Wire Perturbations.
100-103
Electronic Edition (ACM DL) BibTeX
- Erik Brunvand, Steven M. Nowick, Kenneth Y. Yun:
Practical Advances in Asynchronous Design and in Asynchronous/Synchronous Interfaces.
104-109
Electronic Edition (ACM DL) BibTeX
- Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev:
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems.
110-115
Electronic Edition (ACM DL) BibTeX
- Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken:
CAD Directions for High Performance Asynchronous Circuits.
116-121
Electronic Edition (ACM DL) BibTeX
- Jörg Henkel:
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems.
122-127
Electronic Edition (ACM DL) BibTeX
- Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Synthesis of Low-Overhead Interfaces for Power-Efficient Communication over Wide Buses.
128-133
Electronic Edition (ACM DL) BibTeX
- Youngsoo Shin, Kiyoung Choi:
Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems.
134-139
Electronic Edition (ACM DL) BibTeX
- Wen-Tsong Shiue, Chaitali Chakrabarti:
Memory Exploration for Low Power, Embedded Systems.
140-145
Electronic Edition (ACM DL) BibTeX
- Ravi Sharma:
Distributed Application Development with Inferno.
146-150
Electronic Edition (ACM DL) BibTeX
- David Stepner, Nagarajan Rajan, David Hui:
Embedded Application Design Using a Real-Time OS.
151-156
Electronic Edition (ACM DL) BibTeX
- Ken Arnold:
The Jini Architecture: Dynamic Services in a Flexible Network.
157-162
Electronic Edition (ACM DL) BibTeX
- Dennis Abts, Mike Roberts:
Verifying Large-Scale Multiprocessors Using an Abstract Verification Environment.
163-168
Electronic Edition (ACM DL) BibTeX
- Jian Shen, Jacob A. Abraham, Dave Baker, Tony Hurson, Martin Kinkade, Gregorio Gervasio, Chen-chau Chu, Guanghui Hu:
Functional Verification of the Equator MAP1000 Microprocessor.
169-174
Electronic Edition (ACM DL) BibTeX
- Shmuel Ur, Yaov Yadin:
Micro Architecture Coverage Directed Generation of Test Programs.
175-180
Electronic Edition (ACM DL) BibTeX
- You-Sung Chang, Seungjong Lee, In-Cheol Park, Chong-Min Kyung:
Verification of a Microprocessor Using Real World Applications.
181-184
Electronic Edition (ACM DL) BibTeX
- David Van Campenhout, Trevor N. Mudge, John P. Hayes:
High-Level Test Generation for Design Verification of Pipelined Microprocessors.
185-188
Electronic Edition (ACM DL) BibTeX
- Laurent Fournier, Anatoly Koyfman, Moshe Levinger:
Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture.
189-194
Electronic Edition (ACM DL) BibTeX
- Roland W. Freund:
Passive Reduced-Order Models for Interconnect Simulation and Their Computation via Krylov-Subspace Algorithms.
195-200
Electronic Edition (ACM DL) BibTeX
- Ying Liu, Lawrence T. Pileggi, Andrzej J. Strojwas:
Model Order-Reduction of RC(L) Interconnect Including Variational Analysis.
201-206
Electronic Edition (ACM DL) BibTeX
- Carlos P. Coelho, Joel R. Phillips, Luis Miguel Silveira:
Robust Rational Function Approximation Algorithm for Model Generation.
207-212
Electronic Edition (ACM DL) BibTeX
- Reinaldo A. Bergamaschi:
Behavioral Network Graph: Unifying the Domains of High-Level and Logic Synthesis.
213-218
Electronic Edition (ACM DL) BibTeX
- Jianwen Zhu, Daniel Gajski:
Soft Scheduling in High Level Synthesis.
219-224
Electronic Edition (ACM DL) BibTeX
- Marek A. Perkowski, Rahul Malvi, Stan Grygiel, Michael Burns, Alan Mishchenko:
Graph Coloring Algorithms for Fast Evaluation of Curtis Decompositions.
225-230
Electronic Edition (ACM DL) BibTeX
- Xun Liu, Marios C. Papaefthymiou, Eby G. Friedman:
Maximizing Performance by Retiming and Clock Skew Scheduling.
231-236
Electronic Edition (ACM DL) BibTeX
- Klaus Eckl, Jean Christophe Madre, Peter Zepter, Christian Legl:
A Practical Approach to Multiple-Class Retiming.
237-242
Electronic Edition (ACM DL) BibTeX
- Peichen Pan:
Performance-Driven Integration of Retiming and Resynthesis.
243-246
Electronic Edition (ACM DL) BibTeX
- Luca Benini, Giovanni De Micheli, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms.
247-252
Electronic Edition (ACM DL) BibTeX
- Joseph A. Fisher:
Customized Instruction-Sets for Embedded Processors.
253-257
Electronic Edition (ACM DL) BibTeX
- Samuel P. Harbison:
System-Level Hardware/Software Trade-offs.
258-259
Electronic Edition (ACM DL) BibTeX
- Jonah McLeod, Nozar Azarakhsh, Glen Ewing, Paul Gingras, Scott Reedstrom, Chris Rowen:
Functional Verification - Real Users, Real Problems, Real Opportunities (Panel).
260-261
Electronic Edition (ACM DL) BibTeX
- Hsiao-Pin Su, Allen C.-H. Wu, Youn-Long Lin:
A Timing-Driven Soft-Macro Resynthesis Method in Interaction with Chip Floorplanning.
262-267
Electronic Edition (ACM DL) BibTeX
- Pei-Ning Guo, Chung-Kuan Cheng, Takeshi Yoshimura:
An O-Tree Representation of Non-Slicing Floorplan and Its Applications.
268-273
Electronic Edition (ACM DL) BibTeX
- Florin Balasa, Koen Lampaert:
Module Placement for Analog Layout Using the Sequence-Pair Representation.
274-279
Electronic Edition (ACM DL) BibTeX
- Martin Grajcar:
Genetic List Scheduling Algorithm for Scheduling and Allocation on a Loosely Coupled Heterogeneous Multiprocessor System.
280-285
Electronic Edition (ACM DL) BibTeX
- Sanghun Park, Kiyoung Choi:
Performance-Driven Scheduling with Bit-Level Chaining.
286-291
Electronic Edition (ACM DL) BibTeX
- Steve Haynal, Forrest Brewer:
A Model for Scheduling Protocol-Constrained Components and Environments.
292-295
Electronic Edition (ACM DL) BibTeX
- Luiz C. V. dos Santos, Jochen A. G. Jess:
A Reordering Technique for Efficient Code Motion.
296-299
Electronic Edition (ACM DL) BibTeX
- Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao:
Coverage Estimation for Symbolic Model Checking.
300-305
Electronic Edition (ACM DL) BibTeX
- Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Improving Symbolic Traversals by Means of Activity Profiles.
306-311
Electronic Edition (ACM DL) BibTeX
- Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann:
Improved Approximate Reachability Using Auxiliary State Variables.
312-316
Electronic Edition (ACM DL) BibTeX
- Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu:
Symbolic Model Checking Using SAT Procedures instead of BDDs.
317-320
Electronic Edition (ACM DL) BibTeX
- Johnson Kin, Chunho Lee, William H. Mangione-Smith, Miodrag Potkonjak:
Power Efficient Mediaprocessors: Design Space Exploration.
321-326
Electronic Edition (ACM DL) BibTeX
- Arnout Vandecappelle, Miguel Miranda, Erik Brockmeyer, Francky Catthoor, Diederik Verkest:
Global Multimedia System Design Exploration Using Accurate Memory Organization Feedback.
327-332
Electronic Edition (ACM DL) BibTeX
- Lode Nachtergaele, Bart Vanhoof, Mercedes Peón, Gauthier Lafruit, Jan Bormans, Ivo Bolsens:
Implementation of a Scalable MPEG-4 Wavelet-Based Visual Texture Compression System.
333-336
Electronic Edition (ACM DL) BibTeX
- Patrick Schaumont, Radim Cmar, Serge Vernalde, Marc Engels:
A 10 Mbit/s Upstream Cable Modem with Automatic equalization.
337-340
Electronic Edition (ACM DL) BibTeX
- Kurt Keutzer, Kurt Wolf, David Pietromonaco, Jay Maxey, Jeff Lewis, Martin Lefebvre, Jeff Burns:
Panel: Cell Libraries - Build vs. Buy; Static vs. Dynamic.
341-342
Electronic Edition (ACM DL) BibTeX
- George Karypis, Vipin Kumar:
Multilevel k-way Hypergraph Partitioning.
343-348
Electronic Edition (ACM DL) BibTeX
- Andrew E. Caldwell, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov:
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting.
349-354
Electronic Edition (ACM DL) BibTeX
- Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Hypergraph Partitioning with Fixed Vertices.
355-359
Electronic Edition (ACM DL) BibTeX
- Sung-Woo Hur, John Lillis:
Relaxation and Clustering in a Local Search Framework: Application to Linear Placement.
360-366
Electronic Edition (ACM DL) BibTeX
- Sumit Roy, Krishna P. Belkhale, Prithviraj Banerjee:
An Approxmimate Algorithm for Delay-Constraint Technology Mapping.
367-372
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Yean-Yow Hwang, Songjie Xu:
Technology Mapping for FPGAs with Nonuniform Pin Delays and Fast Interconnections.
373-378
Electronic Edition (ACM DL) BibTeX
- Priyadarshan Patra, Unni Narayanan:
Automated Phase Assignment for the Synthesis of Low Power Domino Circuits.
379-384
Electronic Edition (ACM DL) BibTeX
- Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann:
Enhancing Simulation with BDDs and ATPG.
385-390
Electronic Edition (ACM DL) BibTeX
- Valeria Bertacco, Maurizio Damiani, Stefano Quer:
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits.
391-396
Electronic Edition (ACM DL) BibTeX
- Miroslav N. Velev, Randal E. Bryant:
Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors.
397-401
Electronic Edition (ACM DL) BibTeX
- Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger:
Parametric Representations of Boolean Constraints.
402-407
Electronic Edition (ACM DL) BibTeX
- Christopher Inacio, Herman Schmit, David Nagle, Andrew Ryan, Donald E. Thomas, Yingfai Tong, Ben Klass:
Vertical Benchmarks for CAD.
408-413
Electronic Edition (ACM DL) BibTeX
- Xiaobo Hu, Garrison W. Greenwood, S. Ravichandran, Gang Quan:
A Framework for User Assisted Design Space Exploration.
414-419
Electronic Edition (ACM DL) BibTeX
- Benoit Clement, Richard Hersemeule, Etienne Lantreibecq, Bernard Ramanadin, Pierre Coulomb, François Pogodalla:
Fast Prototyping: A System Design Flow Applied to a Complex System-on-Chip Multiprocessor Design.
420-424
Electronic Edition (ACM DL) BibTeX
- Johann Notbauer, Thomas W. Albrecht, Georg Niedrist, Stefan Rohringer:
Verification and Management of a Multimillion-Gate Embedded Core Design.
425-428
Electronic Edition (ACM DL) BibTeX
- Paul D. Franzon, Mark Basel, Aki Fujimara, Sharad Mehrotra, Ron Preston, Robin C. Sarma, Marty Walker:
Parasitic Extraction Accuracy - How Much is Enough?
429
Electronic Edition (ACM DL) BibTeX
- Liqiong Wei, Zhanping Chen, Kaushik Roy, Yibin Ye, Vivek De:
Mixed-Vth (MVT) CMOS Circuit Design Methodology for Low Power Applications.
430-435
Electronic Edition (ACM DL) BibTeX
- Supamas Sirichotiyakul, Tim Edwards, Chanhee Oh, Jingyan Zuo, Abhijit Dharchoudhury, Rajendran Panda, David Blaauw:
Stand-by Power Minimization Through Simultaneous Threshold Voltage Selection and Circuit Sizing.
436-441
Electronic Edition (ACM DL) BibTeX
- Mark C. Johnson, Dinesh Somasekhar, Kaushik Roy:
Leakage Control with Efficient Use of Transistor Stacks in Single Threshold CMOS.
442-445
Electronic Edition (ACM DL) BibTeX
- Masanori Hashimoto, Hidetoshi Onodera, Keikichi Tamaru:
A Practical Gate Resizing Technique Considering Glitch Reduction for Low Power Design.
446-451
Electronic Edition (ACM DL) BibTeX
- Andrew R. Conn, Ibrahim M. Elfadel, W. W. Molzen, P. R. O'Brien, Philip N. Strenski, Chandramouli Visweswariah, C. B. Whan:
Gradient-Based Optimization of Custom Circuits Using a Static-Timing Formulation.
452-459
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Honching Li, Chang Wu:
Simultaneous Circuit Partitioning/Clustering with Retiming for Performance Optimization.
460-465
Electronic Edition (ACM DL) BibTeX
- Arindam Mukherjee, Ranganathan Sudhakar, Malgorzata Marek-Sadowska, Stephen I. Long:
Wave Steering in YADDs: A Novel Non-Iterative Synthesis and Layout Technique.
466-471
Electronic Edition (ACM DL) BibTeX
- Amir H. Salek, Jinan Lou, Massoud Pedram:
MERLIN: Semi-Order-Independent Hierarchical Buffered Routing Tree Generation Using Local Neighborhood Search.
472-478
Electronic Edition (ACM DL) BibTeX
- Charles J. Alpert, Anirudh Devgan, Stephen T. Quay:
Buffer Insertion with Accurate Gate and Interconnect Delay Computation.
479-484
Electronic Edition (ACM DL) BibTeX
- Joon-Seo Yim, Chong-Min Kyung:
Reducing Cross-Coupling Among Interconnect Wires in Deep-Submicron Datapath Design.
485-490
Electronic Edition (ACM DL) BibTeX
- Sunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Ralph H. J. M. Otten, Alberto L. Sangiovanni-Vincentelli:
A Novel VLSI Layout Fabric for Deep Sub-Micron Applications.
491-496
Electronic Edition (ACM DL) BibTeX
- Real G. Pomerleau, Paul D. Frazon, Griff L. Bilbro:
Improved Selay Prediction for On-Chip Buses.
497-501
Electronic Edition (ACM DL) BibTeX
- Chung-Ping Chen, Noel Menezes:
Noise-Aware Repeater Insertion and Wire-Sizing for On-Chip Interconnect Using Hierarchical Moment-Matching.
502-506
Electronic Edition (ACM DL) BibTeX
- Jason Cong, David Zhigang Pan:
Interconnect Estimation and Dlanning for Deep Submicron Designs.
507-510
Electronic Edition (ACM DL) BibTeX
- Luciano Lavagno, Ellen Sentovich:
ECL: A Specification Environment for System-Level Design.
511-516
Electronic Edition (ACM DL) BibTeX
- Kai Richter, Dirk Ziegenbein, Rolf Ernst, Lothar Thiele, Jürgen Teich:
Representation of Function Variants for Embedded System Optimization and Synthesis.
517-522
Electronic Edition (ACM DL) BibTeX
- Jules P. Bergmann, Mark Horowitz:
Vex - A CAD Toolbox.
523-528
Electronic Edition (ACM DL) BibTeX
- Juan Antonio Carballo, Stephen W. Director:
Constraint Management for Collaborative Electronic Design.
529-534
Electronic Edition (ACM DL) BibTeX
- Kristofer S. J. Pister, Albert P. Pisano, Nicholas Swart, Mike Horton, John Rychcik, John R. Gilbert, Gerry K. Fedder:
MEMS CAD Beyond Multi-Million Transistors (Panel).
535-536
Electronic Edition (ACM DL) BibTeX
- Johannes Tausch, Jacob K. White:
A Multiscale Method for Fast Capacitance Extraction.
537-542
Electronic Edition (ACM DL) BibTeX
- Vikram Jandhyala, Scott Savage, J. Eric Bracken, Zoltan J. Cendes:
Efficient Capacitance Computation for Structures with Non-Uniform Adaptive Surface Meshes.
543-548
Electronic Edition (ACM DL) BibTeX
- Tong Li, Ching-Han Tsai, Elyse Rosenbaum, Sung-Mo Kang:
Substrate Modeling and Lumped Substrate Resistance Extraction for CMOS ESD/Latchup Circuit Simulation.
549-554
Electronic Edition (ACM DL) BibTeX
- Qinru Qiu, Massoud Pedram:
Dynamic Power Management Based on Continuous-Time Markov Decision Processes.
555-561
Electronic Edition (ACM DL) BibTeX
- Mauro Chinosi, Roberto Zafalon, Carlo Guardiani:
Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning.
562-567
Electronic Edition (ACM DL) BibTeX
- Milos D. Ercegovac, Darko Kirovski, Miodrag Potkonjak:
Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic.
568-573
Electronic Edition (ACM DL) BibTeX
- Daniel Geist, Giora Biran, Tamarah Arons, Michael Slavkin, Yvgeny Nustov, Monica Farkas, Karen Holtz, Andy Long, Dave King, Steve Barret:
A Methodology for the Verification of a ``System on Chip''.
574-579
Electronic Edition (ACM DL) BibTeX
- Ing-Jer Huang, Tai-An Lu:
ICEBERG: An Embedded In-Circuit Emulator Synthesizer for Microcontrollers.
580-585
Electronic Edition (ACM DL) BibTeX
- Christos A. Papachristou, F. Martin, Mehrdad Nourani:
Microprocessor Based Testing for Core-Based System on Chip.
586-591
Electronic Edition (ACM DL) BibTeX
- Hema Kapadia, Mark Horowitz:
Using Partitioning to Help Convergence in the Standard-Cell Design Automation Methodology.
592-597
Electronic Edition (ACM DL) BibTeX
- Imed Moussa, Zoltan Sugar, Rodolph Suescun, Mario Diaz-Nava, Marco Pavesi, Salvatore Crudo, Luca Gazi, Ahmed Amine Jerraya:
Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper.
598-603
Electronic Edition (ACM DL) BibTeX
- Darko Kirovski, Miodrag Potkonjak:
Engineering Change: Methodology and Applications to Behavioral and System Synthesis.
604-609
Electronic Edition (ACM DL) BibTeX
- André DeHon, John Wawrzynek:
Reconfigurable Computing: What, Why, and Implications for Design Automation.
610-615
Electronic Edition (ACM DL) BibTeX
- Meenakshi Kaul, Ranga Vemuri, Sriram Govindarajan, Iyad Ouaiss:
An Automated Temporal Partitioning and Loop Fission Approach for FPGA Based Reconfigurable Synthesis of DSP Applications.
616-622
Electronic Edition (ACM DL) BibTeX
- Alexandro M. S. Adário, Eduardo L. Roehe, Sergio Bampi:
Dynamically Reconfigurable Architecture for Image Processor Applications.
623-628
Electronic Edition (ACM DL) BibTeX
- Onuttom Narayan, Jaijeet S. Roychowdhury:
Multi-Time Simulation of Voltage-Controlled Oscillators.
629-634
Electronic Edition (ACM DL) BibTeX
- Dan Feng, Joel R. Phillips, Keith Nabors, Kenneth S. Kundert, Jacob White:
Efficient Computation of Quasi-Periodic Circuit Operating Conditions via a Mixed Frequency/Time Approach.
635-640
Electronic Edition (ACM DL) BibTeX
- Ognen J. Nastov, Jacob White:
Time-Mapped Harmonic Balance.
641-646
Electronic Edition (ACM DL) BibTeX
- Raghuram S. Tupuri, Arun Krishnamachary, Jacob A. Abraham:
Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor.
647-652
Electronic Edition (ACM DL) BibTeX
- Ruifeng Guo, Sudhakar M. Reddy, Irith Pomeranz:
Proptest: A Property Based Test Pattern Generator for Sequential Circuits Using Test Compaction.
653-659
Electronic Edition (ACM DL) BibTeX
- Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Pradeep Bollineni:
Multiple Error Diagnosis Based on Xlists.
660-665
Electronic Edition (ACM DL) BibTeX
- Farzan Fallah, Pranav Ashar, Srinivas Devadas:
Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage.
666-671
Electronic Edition (ACM DL) BibTeX
- Lionel Bening:
A Two-State Methodology for RTL Logic Simulation.
672-677
Electronic Edition (ACM DL) BibTeX
- Cordula Hansen, Francisco Nascimento, Wolfgang Rosenstiel:
An Approach for Extracting RT Timing Information to Annotate Algorithmic VHDL Specifications.
678-683
Electronic Edition (ACM DL) BibTeX
- Miron Abramovici, José T. de Sousa, Daniel G. Saab:
A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware.
684-690
Electronic Edition (ACM DL) BibTeX
- Fatih Kocan, Daniel G. Saab:
Dynamic Fault Diagnosis on Reconfigurable Hardware.
691-696
Electronic Edition (ACM DL) BibTeX
- Xiaohan Zhu, Bill Lin:
Hardware Compilation for FPGA-Based Configurable Computing Machines.
697-702
Electronic Edition (ACM DL) BibTeX
- D. J. Eaglesham:
0.18m CMOS and Beyond.
703-708
Electronic Edition (ACM DL) BibTeX
- Ching-Te Chuang, Ruchir Puri:
SOI Digital CMOS VLSI - a Design Perspective.
709-714
Electronic Edition (ACM DL) BibTeX
- Yehea I. Ismail, Eby G. Friedman, José Luis Neves:
Equivalent Elmore Delay for RLC Trees.
715-720
Electronic Edition (ACM DL) BibTeX
- Yehea I. Ismail, Eby G. Friedman:
Effects of Inductance on the Propagation Delay and Repeater Insertion in VLSI Circuits.
721-724
Electronic Edition (ACM DL) BibTeX
- Abdallah Tabbara, Robert K. Brayton, A. Richard Newton:
Retiming for DSM with Area-Delay Trade-Offs and Delay Constraints.
725-730
Electronic Edition (ACM DL) BibTeX
- Hakan Yalcin, Mohammad Mortazavi, Robert Palermo, Cyrus Bamji, Karem A. Sakallah:
Functional Timing Analysis for IP Characterization.
731-736
Electronic Edition (ACM DL) BibTeX
- Richard Raimi, Jacob A. Abraham:
Detecting False Timing Paths: Experiments on PowerPC Microprocessors.
737-741
Electronic Edition (ACM DL) BibTeX
- Han Bin Kim, Dong Sam Ha, Takeshi Takahashi:
On ILP Formulations for Built-In Self-Testable Data Path Synthesis.
742-747
Electronic Edition (ACM DL) BibTeX
- Huan-Chih Tsai, Kwang-Ting Cheng, Sudipta Bhawmik:
Improving the Test Quality for Scan-Based BIST Using a General Test Application Scheme.
748-753
Electronic Edition (ACM DL) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences.
754-759
Electronic Edition (ACM DL) BibTeX
- Yi-Min Jiang, Kwang-Ting Cheng:
Analysis of Performance Impact Caused by Power Supply Noise in Deep Submicron Devices.
760-765
Electronic Edition (ACM DL) BibTeX
- Joon-Seo Yim, Seong-Ok Bae, Chong-Min Kyung:
A Floorplan-Based Planning Methodology for Power and Clock Distribution in ASICs.
766-771
Electronic Edition (ACM DL) BibTeX
- Ramesh Harjani, Bapiraju Vinnakota:
Digital Aetection of Analog Parametric Faults in SC Filters.
772-777
Electronic Edition (ACM DL) BibTeX
- Dyson Wilkes, M. M. Kamal Hashmi:
Application of High Level Interface-Based Design to Telecommunications System Hardware.
778-783
Electronic Edition (ACM DL) BibTeX
- Patrick Schaumont, Radim Cmar, Serge Vernalde, Marc Engels, Ivo Bolsens:
Hardware Reuse at the Behavioral Level.
784-789
Electronic Edition (ACM DL) BibTeX
- Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull:
Description and Simulation of Hardware/Software Systems with Java.
790-793
Electronic Edition (ACM DL) BibTeX
- Josef Fleischmann, Klaus Buchenrieder, Rainer Kress:
Java Driven Codesign and Prototyping of Networked Embedded Systems.
794-797
Electronic Edition (ACM DL) BibTeX
- Andrew B. Kahng, Y. C. Pati, Warren Grobman, Robert Pack, Lance A. Glasser:
Subwavelength Lithography: How Will It Affect Your Design Flow? (Panel).
798
Electronic Edition (ACM DL) BibTeX
- Andrew B. Kahng, Y. C. Pati:
Subwavelength Lithography and Its Potential Impact on Design and EDA.
799-804
Electronic Edition (ACM DL) BibTeX
- Marco Sgroi, Luciano Lavagno:
Synthesis of Embedded Software Using Free-Choice Petri Nets.
805-810
Electronic Edition (ACM DL) BibTeX
- Ying Zhao, Sharad Malik:
Exact Memory Size Estimation for Array Computations without Loop Unrolling.
811-816
Electronic Edition (ACM DL) BibTeX
- Steven Bashford, Rainer Leupers:
Constraint Driven Code Selection for Fixed-Point DSPs.
817-822
Electronic Edition (ACM DL) BibTeX
- Alain Pegatoquet, Emmanuel Gresset, Michel Auguin, Luc Bianco:
Rapid Development of Optimized DSP Code from a High Level Description Through Software Estimations.
823-826
Electronic Edition (ACM DL) BibTeX
- Asawaree Kalavade, Joe Othmer, Bryan D. Ackland, Kanwar Jit Singh:
Software Environment for a Multiprocessor DSP.
827-830
Electronic Edition (ACM DL) BibTeX
- John Lach, William H. Mangione-Smith, Miodrag Potkonjak:
Robust FPGA Intellectual Property Protection Through Multiple Small Watermarks.
831-836
Electronic Edition (ACM DL) BibTeX
- Arlindo L. Oliveira:
Robust Techniques for Watermarking Sequential Circuit Designs.
837-842
Electronic Edition (ACM DL) BibTeX
- Andrew E. Caldwell, Hyun-Jin Choi, Andrew B. Kahng, Stefanus Mantik, Miodrag Potkonjak, Gang Qu, Jennifer L. Wong:
Effective Iterative Techniques for Fingerprinting Design IP.
843-848
Electronic Edition (ACM DL) BibTeX
- Inki Hong, Miodrag Potkonjak:
Behavioral Synthesis Techniques for Intellectual Property Protection.
849-854
Electronic Edition (ACM DL) BibTeX
- James Goodman, Anantha Chandrakasan, Abram P. Dancy:
Design and Implementation of a Scalable Encryption Processor with Embedded Variable DC/DC Converter.
855-860
Electronic Edition (ACM DL) BibTeX
- Massoud Pedram, Qing Wu:
Design Considerations for Battery-Powered Electronics.
861-866
Electronic Edition (ACM DL) BibTeX
- Tajana Simunic, Luca Benini, Giovanni De Micheli:
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems.
867-872
Electronic Edition (ACM DL) BibTeX
- Ahmed Hemani, Thomas Meincke, Shashi Kumar, Adam Postula, Thomas Olsson, Peter Nilsson, Johnny Öberg, Peeter Ellervee, Dan Lundqvist:
Lowering Power Consumption in Clock by Using Globally Asynchronous Locally Synchronous Design Style.
873-878
Electronic Edition (ACM DL) BibTeX
- Timothy P. Kurzweg, Steven P. Levitan, Philippe J. Marchand, Jose A. Martinez, Kurt R. Prough, Donald M. Chiarulli:
A CAD Tool for Optical MEMS.
879-884
Electronic Edition (ACM DL) BibTeX
- Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli, Chenming Hu:
On Thermal Effects in Deep Sub-Micron VLSI Interconnects.
885-891
Electronic Edition (ACM DL) BibTeX
- D. Allen, D. Behrends, B. Stanisic:
Converting a 64b PowerPC Processor from CMOS Bulk to SOI Technology.
892-897
Electronic Edition (ACM DL) BibTeX
- Gangadhar Konduri, Anantha Chandrakasan:
A Framework for Collaborative and Distributed Web-Based Design.
898-903
Electronic Edition (ACM DL) BibTeX
- Phillip Restle, Albert E. Ruehli, Steven G. Walker:
Dealing with Inductance in High-Speed Chip Design.
904-909
Electronic Edition (ACM DL) BibTeX
- Mattan Kamon, Nuno Alexandre Marques, Yehia Massoud, Luis Miguel Silveira, Jacob White:
Interconnect Analysis: From 3-D Structures to Circuit Models.
910-914
Electronic Edition (ACM DL) BibTeX
- Michael W. Beattie, Lawrence T. Pileggi:
IC Analyses Including Extracted Inductance Models.
915-920
Electronic Edition (ACM DL) BibTeX
- Shannon V. Morton:
On-Chip Inductance Issues in Multiconductor Systems.
921-926
Electronic Edition (ACM DL) BibTeX
- George Hadjiyiannis, Pietro Russo, Srinivas Devadas:
A Methodology for Accurate Performance Evaluation in Architecture Exploration.
927-932
Electronic Edition (ACM DL) BibTeX
- Stefan Pees, Andreas Hoffmann, Vojin Zivojnovic, Heinrich Meyr:
LISA - Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures.
933-938
Electronic Edition (ACM DL) BibTeX
- Hoon Choi, Ju Hwan Yi, Jong-Yeol Lee, In-Cheol Park, Chong-Min Kyung:
Exploiting Intellectual Properties in ASIP Designs for Embedded DSP Software.
939-944
Electronic Edition (ACM DL) BibTeX
- Michael Krasnicki, Rodney Phelps, Rob A. Rutenbar, L. Richard Carley:
MAELSTROM: Efficient Simulation-Based Synthesis for Custom Analog Cells.
945-950
Electronic Edition (ACM DL) BibTeX
- Alex Doboli, Adrián Núñez-Aldana, Nagu R. Dhanwada, Sree Ganesan, Ranga Vemuri:
Behavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration.
951-957
Electronic Edition (ACM DL) BibTeX
- Walter Daems, Georges G. E. Gielen, Willy M. C. Sansen:
Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits.
958-963
Electronic Edition (ACM DL) BibTeX
- Lisa Guerra, Joachim Fitzner, Dipankar Talukdar, Chris Schläger, Bassam Tabbara, Vojin Zivojnovic:
Cycle and Phase Accurate DSP Modeling and Integration for HW/SW Co-Verification.
964-969
Electronic Edition (ACM DL) BibTeX
- Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal:
A Study in Coverage-Driven Test Generation.
970-975
Electronic Edition (ACM DL) BibTeX
- Wanli Jiang, Bapiraju Vinnakota:
IC Test Using the Energy Consumption Ratio.
976-981
Electronic Edition (ACM DL) BibTeX
- C. Patrick Yue, S. Simon Wong:
Design Strategy of On-Chip Inductors for Highly Integrated RF Systems.
982-987
Electronic Edition (ACM DL) BibTeX
- N. R. Belk, M. R. Frei, M. Tsai, A. J. Becker, K. L. Tokuda:
The Simulation and Design of Integrated Inductors.
988-993
Electronic Edition (ACM DL) BibTeX
- Maria del Mar Hershenson, Sunderarajan S. Mohan, Stephen P. Boyd, Thomas H. Lee:
Optimization of Inductor Circuits via Geometric Programming.
994-998
Electronic Edition (ACM DL) BibTeX
- Richard Goering, Pierre Bricaud, James G. Dougherty, Steve Glaser, Michael Keating, Robert Payne, Davoud Samani:
Panel: What is the Proper System on Chip Design Methodology.
999
Electronic Edition (ACM DL) BibTeX
Copyright © Tue May 27 17:46:56 2008
by Michael Ley (ley@uni-trier.de)
