35. DAC 1998:
San Francico,
California,
USA
Proceedings of the 35th Conference on Design Automation,
Moscone center,
San Francico,
California,
USA,
June 15-19,
1998. ACM Press,
1998,
ISBN 0-89791-964-5
Executive Plenary Panel
Interfaces for Design Reuse
Analog and Mixed-Signal Design Tools
University Design Contest
- Jacob Rael, Ahmadreza Rofougaran, Asad A. Abidi:
Design Methodology Used in a Single-Chip CMOS 900 MHz Spread-Spectrum Wireless Transceiver.
44-49
Electronic Edition (ACM DL) BibTeX
- Jörg Hilgenstock, Klaus Herrmann, Jan Otterstedt, Dirk Niggemeyer, Peter Pirsch:
A Video Signal Processor for MIMD Multiprocessing.
50-55
Electronic Edition (ACM DL) BibTeX
- Jens Peter Wittenburg, Willm Hinrichs, Johannes Kneip, Martin Ohmacht, Mladen Berekovic, Hanno Lieske, Helge Kloos, Peter Pirsch:
Realization of a Programmable Parallel DSP for High Performance Image Processing Applications.
56-61
Electronic Edition (ACM DL) BibTeX
- Roy A. Sutton, Vason P. Srini, Jan M. Rabaey:
A Multiprocessor DSP System Using PADDI-2.
62-65
Electronic Edition (ACM DL) BibTeX
- A. Grbic, Stephen Dean Brown, S. Caranci, R. Grindley, M. Gusat, Guy G. Lemieux, K. Loveless, Naraig Manjikian, Sinisa Srbljic, Michael Stumm, Zvonko G. Vranesic, Zeljko Zilic:
Design and Implementation of the NUMAchine Multiprocessor.
66-69
Electronic Edition (ACM DL) BibTeX
Embedded System Design and Exploration
- James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton:
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.
70-75
Electronic Edition (ACM DL) BibTeX
- Julio Leao da Silva Jr., Chantal Ykman-Couvreur, Miguel Miranda, Kris Croes, Sven Wuytack, Gjalt G. de Jong, Francky Catthoor, Diederik Verkest, Paul Six, Hugo De Man:
Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer.
76-81
Electronic Edition (ACM DL) BibTeX
- Ireneusz Karkowski, Henk Corporaal:
Design Space Exploration Algorithm for Heterogeneous Multi-Processor Embedded System Design.
82-87
Electronic Edition (ACM DL) BibTeX
- Pai H. Chou, Gaetano Borriello:
Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems.
88-93
Electronic Edition (ACM DL) BibTeX
Taming Noise in Deep-Submicron Digital Designs
Control and Data Driven High Level Synthesis
Synthesis Flow in Deep Submicro Technologies
Environment for Collaborative Design
New Methods in Functional Verification
- Farzan Fallah, Srinivas Devadas, Kurt Keutzer:
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification.
152-157
Electronic Edition (ACM DL) BibTeX
- Raanan Grinwald, Eran Harel, Michael Orgad, Shmuel Ur, Avi Ziv:
User Defined Coverage - A Tool Supported Methodology for Design Verification.
158-163
Electronic Edition (ACM DL) BibTeX
- Joshua Marantz:
Enhanced Visibility and Performance in Functional Verification by Reconstruction.
164-169
Electronic Edition (ACM DL) BibTeX
- Namseung Kim, Hoon Choi, Seungjong Lee, Seungwang Lee, In-Cheol Park, Chong-Min Kyung:
Virtual Chip: Making Functional Models Work on Real Target Systems.
170-173
Electronic Edition (ACM DL) BibTeX
Panel
System-Level Power Optimization
Boolean Methods
Extraction and Modeling for Interconnect
Processor Design and Simulation
- Nevine Nassif, Madhav P. Desai, Dale H. Hall:
Robust Elmore Delay Models Suitable for Full Chip Timing Verification of a 600MHz CMOS Microprocessor.
230-235
Electronic Edition (ACM DL) BibTeX
- Robert M. McGraw, James H. Aylor, Robert H. Klenke:
A Top-Down Design Environment for Developing Pipelined Datapaths.
236-241
Electronic Edition (ACM DL) BibTeX
- Rita Yu Chen, Robert Michael Owens, Mary Jane Irwin, Raminder Singh Bajwa:
Validation of an Architectural Level Power Analysis Technique.
242-245
Electronic Edition (ACM DL) BibTeX
- Toshihiro Hattori, Yusuke Nitta, Mitsuho Seki, Susumu Narita, Kunio Uchiyama, Tsuyoshi Takahashi, Ryuichi Satomura:
Design Methodology of a 200MHz Superscalar Microprocessor: SH-4.
246-249
Electronic Edition (ACM DL) BibTeX
Panel
Performance Modeling and Characterization for Embedded Systems
Advances in Placement and Partitioning
Parasitic Device Extraction and Interconnect Modeling
Design Optimization for DSP
Panel
Bridging the Gap Between Simulation and Formal Verification
Logic Optimization
Routing for Performance and Crosstalk
Practical Optimization Methodologies for High Performance Design
- Arun N. Lokanathan, Jay B. Brockman:
Process Multi-Circuit Optimization.
382-387
Electronic Edition (ACM DL) BibTeX
- Rajendran Panda, Abhijit Dharchoudhury, Tim Edwards, Joe Norton, David Blaauw:
Migration: A New Technique to Improve Synthesized Designs Through Incremental Customization.
388-391
Electronic Edition (ACM DL) BibTeX
- Julian Culetu, Chaim Amir, John MacDonald:
A Practical Repeater Insertion Method in High Speed VLSI Circuits.
392-395
Electronic Edition (ACM DL) BibTeX
- Paolo Ienne, Alexander Grießing:
Practical Experiences with Standard-Cell Based Datapath Design Tools: Do We Really Need Regular Layouts?
396-401
Electronic Edition (ACM DL) BibTeX
- Michael Orshansky, James C. Chen, Chenming Hu:
A Statistical Performance Simulation Methodology for VLSI Circuits.
402-407
Electronic Edition (ACM DL) BibTeX
RF IC design Methodology
Theory and Practice in High Level Synthesis
BDD Approximation Techniques
Interconnect Modeling and Timing Simulation
Low Power Design Using Multiple Thresholds and Supplies
- Kimiyoshi Usami, Mutsunori Igarashi, Takashi Ishikawa, Masahiro Kanazawa, Masafumi Takahashi, Mototsugu Hamada, Hideho Arakida, Toshihiro Terazawa, Tadahiro Kuroda:
Design Methodology of Ultra Low-Power MPEG4 Codec Core Exploiting Voltage Scaling Techniques.
483-488
Electronic Edition (ACM DL) BibTeX
- Liqiong Wei, Zhanping Chen, Mark Johnson, Kaushik Roy, Vivek De:
Design and Optimization of Low Voltage High Performance Dual Threshold CMOS Circuits.
489-494
Electronic Edition (ACM DL) BibTeX
- James Kao, Siva Narendra, Anantha Chandrakasan:
MTCMOS Hierarchical Sizing Based on Mutual Exclusive Discharge Patterns.
495-500
Electronic Edition (ACM DL) BibTeX
Panel
Software Synthesis and Retargetable Compilation
Formal Methods in Functional Verification
Core Test and BIST
Interconnect Analysis and Reliability in Deep Sub-Micron
Panel
Timing Analysis
New Techniques in State Space Explorations
Advanced ATPG Techniques
Practical Experience of Funtional Verification for Complex ICs
- Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey:
Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor.
638-643
Electronic Edition (ACM DL) BibTeX
- Yossi Malka, Avi Ziv:
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data.
644-649
Electronic Edition (ACM DL) BibTeX
- Adrian Evans, Allan Silburt, Gary Vrckovnik, Thane Brown, Mario Dufresne, Geoffrey Hall, Tung Ho, Ying Liu:
Functional Verification of Large ASICs.
650-655
Electronic Edition (ACM DL) BibTeX
Panel
Fast Functiona Simulation
Power Estimation and Modeling
Technology Mapping for Programmable Logic
- Jason Helge Anderson, Stephen Dean Brown:
Technology Mapping for Large Complex PLDs.
698-703
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Songjie Xu:
Delay-Optimal Technology Mapping for FPGAs with Heterogeneous LUTs.
704-707
Electronic Edition (ACM DL) BibTeX
- Madhukar R. Korupolu, K. K. Lee, D. F. Wong:
Exact Tree-based FPGA Technology Mapping for Logic Blocks with Independent LUTs.
708-711
Electronic Edition (ACM DL) BibTeX
- Jie-Hong Roland Jiang, Jing-Yang Jou, Juinn-Dar Huang:
Compatible Class Encoding in Hyper-Function Decomposition for FPGA Synthesis.
712-717
Electronic Edition (ACM DL) BibTeX
- Balakrishna Kumthekar, Luca Benini, Enrico Macii, Fabio Somenzi:
In-Place Power Optimization for LUT-Based FPGAs.
718-721
Electronic Edition (ACM DL) BibTeX
- Jan-Min Hwang, Feng-Yi Chiang, TingTing Hwang:
A Re-engineering Approach to Low Power FPGA Design Using SPFD.
722-725
Electronic Edition (ACM DL) BibTeX
Power Dissipation and Distribution in High Performance Processors
- Michael K. Gowan, Larry L. Biro, Daniel B. Jackson:
Power Considerations in the Design of the Alpha 21264 Microprocessor.
726-731
Electronic Edition (ACM DL) BibTeX
- Vivek Tiwari, Deo Singh, Suresh Rajgopal, Gaurav Mehta, Rakesh Patel, Franklin Baez:
Reducing Power in High-Performance Microprocessors.
732-737
Electronic Edition (ACM DL) BibTeX
- Abhijit Dharchoudhury, Rajendran Panda, David Blaauw, Ravi Vaidyanathan, Bogdan Tutuianu, David Bearden:
Design and Analysis of Power Distribution Networks in PowerPC Microprocessors.
738-743
Electronic Edition (ACM DL) BibTeX
- Gregory Steele, David Overhauser, Steffen Rochel, Syed Zakir Hussain:
Full-Chip Verification Methods for DSM Power Distribution Systems.
744-749
Electronic Edition (ACM DL) BibTeX
Challenge in the Test on System-On-A-Chip Era
Controller Decomposition for Power and Area Minimization
IT Protection Technologies
- Andrew B. Kahng, John Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe:
Watermarking Techniques for Intellectual Property Protection.
776-781
Electronic Edition (ACM DL) BibTeX
- Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe:
Robust IP Watermarking Methodologies for Physical Design.
782-787
Electronic Edition (ACM DL) BibTeX
- Scott Hauck, Stephen Knol:
Data Security for Web-based CAD.
788-793
Electronic Edition (ACM DL) BibTeX
Case Studies of New Design Methods
- Ulrich Holtmann, Peter Blinzer:
Design of a SPDIF Receiver Using Protocol Compiler.
794-799
Electronic Edition (ACM DL) BibTeX
- Jin-Hyuk Yang, Byoung-Woon Kim, Sang-Jun Nam, Jang-Ho Cho, Sung-Won Seo, Chang-Ho Ryu, Young-Su Kwon, Dae-Hyun Lee, Jong-Yeol Lee, Jong-Sun Kim, Hyun-Dhong Yoon, Jae-Yeol Kim, Kun-Moo Lee, Chan-Soo Hwang, In-Hyung Kim, Jun Sung Kim, Kwang-Il Park, Kyu Ho Park, Yong-Hoon Lee, Seung Ho Hwang, In-Cheol Park, Chong-Min Kyung:
MetaCore: An Application Specific DSP Development System.
800-803
Electronic Edition (ACM DL) BibTeX
- Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli:
A Case Study in Embedded System Design: An Engine Control Unit.
804-807
Electronic Edition (ACM DL) BibTeX
- Thomas W. Albrecht, Johann Notbauer, Stefan Rohringer:
HW/SW CoVerification Performance Estimation and Benchmark for a 24 Embedded RISC Core Design.
808-811
Electronic Edition (ACM DL) BibTeX
- Daniel Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong:
System-level exploration with SpecSyn.
812-817
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:04:37 2009
by Michael Ley (ley@uni-trier.de)
