DATE 2004:
Paris,
France
2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France.
IEEE Computer Society 2004, ISBN 0-7695-2085-5 BibTeX
@proceedings{DBLP:conf/date/2004,
title = {2004 Design, Automation and Test in Europe Conference and Exposition
(DATE 2004), 16-20 February 2004, Paris, France},
booktitle = {DATE},
publisher = {IEEE Computer Society},
year = {2004},
isbn = {0-7695-2085-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Volume 1 - 2 - Designers Forum
Keynote Session
Architectural-Level Power Management
Formal Verification Using Functional and Structural Information
Power,
Timing and Diagnosis Constrained Testing
- Saravanan Padmanaban, Spyros Tragoudas:
Using BDDs and ZBDDs for Efficient Identification of Testable Path Delay Faults.
50-55
Electronic Edition (link) BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Level of Similarity: A Metric for Fault Collapsing.
56-61
Electronic Edition (link) BibTeX
- Yannick Bonhomme, Patrick Girard, Loïs Guiller, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel:
Design of Routing-Constrained Low Power Scan Chains.
62-67
Electronic Edition (link) BibTeX
- Irith Pomeranz, Srikanth Venkataraman, Sudhakar M. Reddy, Bharath Seshadri:
Z-Sets and Z-Detections: Circuit Characteristics that Simplify Fault Diagnosis.
68-75
Electronic Edition (link) BibTeX
Mixed-Signal Circuits and Systems
- Angelo Nagari, Germano Nicollini:
A 2.7V 350muW 11-b Algorithmic Analog-to-Digital Converter with Single-Ended Multiplexed Inputs.
76-81
Electronic Edition (link) BibTeX
- Antonio J. Ginés, Eduardo J. Peralías, Adoración Rueda:
Digital Background Gain Error Correction in Pipeline ADCs.
82-87
Electronic Edition (link) BibTeX
- Mustafa Badaroglu, Piet Wambacq, Geert Van der Plas, Stéphane Donnay, Georges G. E. Gielen, Hugo De Man:
Digital Ground Bounce Reduction by Phase Modulation of the Clock.
88-93
Electronic Edition (link) BibTeX
- Francesco Corsi, Cristoforo Marzocca, Gianvito Matarrese, Andrea Baschirotto, Stefano D'Amico:
Pseudo-Random Sequence Based Tuning System for Continuous-Time Filters.
94-101
Electronic Edition (link) BibTeX
Communication-Centric and Source-Level Optimisations for High-Level Synthesis
Panel Session:
SystemC and System Verilog:
Where do They Fit? Where are They Going?
Low Power Systems and Architectures
Advanced Formal Verification Techniques
New Algorithms for TPG
Optimisation of Memory Hierarchies
Hot Topic - High Security Smartcards
New Directions in Low-Power Design
Advances in SAT
Analogue and High-Frequency Test
- Ganesh Srinivasan, Soumendu Bhattacharya, Sasikumar Cherubal, Abhijit Chatterjee:
Efficient Test Strategy for TDMA Power Amplifiers Using Transient Current Measurements: Uses and Benefit.
280-285
Electronic Edition (link) BibTeX
- Chee-Kian Ong, Dongwoo Hong, Kwang-Ting Cheng, Li-C. Wang:
Random Jitter Extraction Technique in a Multi-Gigahertz Signal.
286-291
Electronic Edition (link) BibTeX
- Marcelo Negreiros, Luigi Carro, Altamiro Amadeu Susin:
Low Cost Analog Testing of RF Signal Paths.
292-297
Electronic Edition (link) BibTeX
- Diego Vázquez, Gildas Leger, Gloria Huertas, Adoración Rueda, José L. Huertas:
A Method for Parameter Extraction of Analog Sine-Wave Signals for Mixed-Signal Built-In-Self-Test Applications.
298-305
Electronic Edition (link) BibTeX
Energy Efficient Memory Usage
Hot Topic - How Can System-Level Design Solve the Interconnect Technology Scaling Problem?
System Level Design Methodology
- Todor Stefanov, Claudiu Zissulescu, Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere:
System Design Using Kahn Process Networks: The Compaan/Laura Approach.
340-345
Electronic Edition (link) BibTeX
- Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiovanni-Vincentelli:
Microarchitecture Development via Metropolis Successive Platform Refinement.
346-351
Electronic Edition (link) BibTeX
- Chulho Shin, Young-Taek Kim, Eui-Young Chung, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo:
Fast Exploration of Parameterized Bus Architecture for Communication-Centric SoC Design.
352-357
Electronic Edition (link) BibTeX
- Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno:
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
358-363
Electronic Edition (link) BibTeX
- D. Quinn, Bruno Lavigueur, Guy Bois, El Mostapha Aboulhamid:
A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors.
364-371
Electronic Edition (link) BibTeX
System Level Modelling and Analysis
- Christoph Grimm, Wilhelm Heupke, Klaus Waldschmidt:
Refinement of Mixed-Signal Systems with Affine Arithmetic.
372-377
Electronic Edition (link) BibTeX
- Hector Posadas, Fernando Herrera, Pablo Sánchez, Eugenio Villar, Francisco Blasco:
System-Level Performance Analysis in SystemC.
378-383
Electronic Edition (link) BibTeX
- Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten:
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
384-389
Electronic Edition (link) BibTeX
- Vijay D'Silva, S. Ramesh, Arcot Sowmya:
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.
390-395
Electronic Edition (link) BibTeX
- Tiberiu Seceleanu, Tomi Westerlund:
Aspects of Formal and Graphical Design of a Bus System.
396-403
Electronic Edition (link) BibTeX
Advances in SoC Testing
New Issues in Analogue System- and Circuit-Level Performance Modelling
Fabrics and Scheduling for Reconfigurable Computing
- Aneesh Koorapaty, V. Kheterpal, Padmini Gopalakrishnan, M. Fu, Lawrence T. Pileggi:
Exploring Logic Block Granularity for Regular Fabrics.
468-473
Electronic Edition (link) BibTeX
- Nikhil Bansal, Sumit Gupta, Nikil Dutt, Alexandru Nicolau, Rajesh Gupta:
Network Topology Exploration of Mesh-Based Coarse-Grain Reconfigurable Architectures.
474-479
Electronic Edition (link) BibTeX
- Roman L. Lysecky, Frank Vahid:
A Configurable Logic Architecture for Dynamic Hardware/Software Partitioning.
480-485
Electronic Edition (link) BibTeX
- Guilin Chen, Mahmut T. Kandemir, Ugur Sezer:
Configuration-Sensitive Process Scheduling for FPGA-Based Computing Platforms.
486-493
Electronic Edition (link) BibTeX
Power Aware Design and Synthesis
- Dongwoo Lee, Harmander Deogun, David Blaauw, Dennis Sylvester:
Simultaneous State, Vt and Tox Assignment for Total Standby Power Minimization.
494-499
Electronic Edition (link) BibTeX
- Pietro Babighian, Luca Benini, Enrico Macii:
A Scalable ODC-Based Algorithm for RTL Insertion of Gated Clocks.
500-505
Electronic Edition (link) BibTeX
- Mahmut T. Kandemir:
Impact of Data Transformations on Memory Bank Locality.
506-511
Electronic Edition (link) BibTeX
- Claudia Kretzschmar, André K. Nieuwland, Dietmar Müller:
Why Transition Coding for Power Minimization of On-Chip Buses Does Not Work.
512-517
Electronic Edition (link) BibTeX
- Alexandru Andrei, Marcus T. Schmitz, Petru Eles, Zebo Peng, Bashir M. Al-Hashimi:
Overhead-Conscious Voltage Selection for Dynamic and Leakage Energy Reduction of Time-Constrained Systems.
518-525
Electronic Edition (link) BibTeX
System Level Design:
Case Studies,
Exploration and Optimisation
- Le Cai, Yung-Hsiang Lu:
Dynamic Power Management Using Data Buffers.
526-531
Electronic Edition (link) BibTeX
- David Atienza, Stylianos Mamagkakis, Francky Catthoor, Jose Manuel Mendias, Dimitrios Soudris:
Dynamic Memory Management Design Methodology for Reduced Memory Footprint in Multimedia and Wireless Network Applications.
532-537
Electronic Edition (link) BibTeX
- Hye-On Jang, Minsoo Kang, Myeong-jin Lee, Kwanyeob Chae, Kookpyo Lee, Kyuhyun Shim:
High-Level System Modeling and Architecture Exploration with SystemC on a Network SoC: S3C2510 Case Study.
538-543
Electronic Edition (link) BibTeX
- Guido Post, P. K. Venkataraghavan, Tapan Ray, D. R. Seetharaman:
A SystemC-Based Verification Methodology for Complex Wireless Software IP.
544-551
Electronic Edition (link) BibTeX
Recent Advances in Digital Systems Simulation
On-Line Testing and Reliability for Nanometer Technologies
- Antonis M. Paschalis, Dimitris Gizopoulos:
Effective Software-Based Self-Test Strategies for On-Line Periodic Testing of Embedded Processors.
578-583
Electronic Edition (link) BibTeX
- M. Bellato, Paolo Bernardi, D. Bortolato, A. Candelori, M. Ceschia, Alessandro Paccagnella, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, P. Zambolin:
Evaluating the Effects of SEUs Affecting the Configuration Memory of an SRAM-Based FPGA.
584-589
Electronic Edition (link) BibTeX
- Régis Leveugle, Abdelaziz Ammari:
Early SEU Fault Injection in Digital, Analog and Mixed Signal Circuits: A Global Flow.
590-595
Electronic Edition (link) BibTeX
- Sobeeh Almukhaizim, Petros Drineas, Yiorgos Makris:
On Concurrent Error Detection with Bounded Latency in FSMs.
596-603
Electronic Edition (link) BibTeX
Parasitic-Aware Analogue Design
- Mukesh Ranjan, Wim Verhaegen, Anuradha Agarwal, Hemanth Sampath, Ranga Vemuri, Georges G. E. Gielen:
Fast, Layout-Inclusive Analog Circuit Synthesis using Pre-Compiled Parasitic-Aware Symbolic Performance Models.
604-609
Electronic Edition (link) BibTeX
- Rajeev Murgai, Subodh M. Reddy, Takashi Miyoshi, Takeshi Horie, Mehdi Baradaran Tahoori:
Sensitivity-Based Modeling and Methodology for Full-Chip Substrate Noise Analysis.
610-615
Electronic Edition (link) BibTeX
- Thomas Brandtner, Robert Weigel:
SubCALM: A Program for Hierarchical Substrate Coupling Simulation on Floorplan Level.
616-621
Electronic Edition (link) BibTeX
- Yong Zhan, Sachin S. Sapatnekar:
Optimization of Integrated Spiral Inductors Using Sequential Quadratic Programming.
622-629
Electronic Edition (link) BibTeX
Hardware/Software System Design and Architecture Exploration
Hot Topic - Extremely Low-Power Logic
Interactive Presentations
- Wu-An Kuo, TingTing Hwang, Allen C.-H. Wu:
Decomposition of Instruction Decoder for Low Power Design.
664-665
Electronic Edition (link) BibTeX
- Johann Laurent, Nathalie Julien, Eric Senn, Eric Martin:
Functional Level Power Analysis: An Efficient Approach for Modeling the Power Consumption of Complex Processors.
666-667
Electronic Edition (link) BibTeX
- Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix:
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?
668-669
Electronic Edition (link) BibTeX
- Young-Su Kwon, Chong-Min Kyung:
Functional Coverage Metric Generation from Temporal Event Relation Graph.
670-671
Electronic Edition (link) BibTeX
- Aristides Efthymiou, Christos P. Sotiriou, Douglas A. Edwards:
Automatic Scan Insertion and Pattern Generation for Asynchronous Circuits.
672-673
Electronic Edition (link) BibTeX
- Hassan Aboushady, L. de Lamarre, Nicolas Beilleau, Marie-Minerve Louërat:
Automatic Synthesis and Simulation of Continuous-Time [Sigma-Delta] Modulators.
674-675
Electronic Edition (link) BibTeX
- Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli:
A Methodology for System-Level Analog Design Space Exploration.
676-677
Electronic Edition (link) BibTeX
- Mohammad Taherzadeh-Sani, Reza Lotfi, Omid Shoaei:
Systematic Design for Optimization of High-Resolution Pipelined ADCs.
678-679
Electronic Edition (link) BibTeX
- José C. García, Juan A. Montiel-Nelson, J. Sosa, Héctor Navarro:
A Direct Bootstrapped CMOS Large Capacitive-Load Driver Circuit.
680-681
Electronic Edition (link) BibTeX
- Ben I. Hounsell, Richard Taylor:
Co-Processor Synthesis: A New Methodology for Embedded Software Acceleration.
682-683
Electronic Edition (link) BibTeX
- María C. Molina, Rafael Ruiz-Sautua, José M. Mendías, Román Hermida:
Behavioural Bitwise Scheduling Based on Computational Effort Balancing.
684-685
Electronic Edition (link) BibTeX
- Andrea Del Re, Alberto Nannarelli, Marco Re:
A Tool for Automatic Generation of RTL-Level VHDL Description of RNS FIR Filters.
686-687
Electronic Edition (link) BibTeX
- Lipeng Cao:
On Transfer Function and Power Consumption Transient Response.
688-689
Electronic Edition (link) BibTeX
- Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch:
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits.
690-691
Electronic Edition (link) BibTeX
- Li-C. Wang:
Regression Simulation: Applying Path-Based Learning In Delay Test and Post-Silicon Validation.
692-695
Electronic Edition (link) BibTeX
- Ali Iranli, Kihwan Choi, Massoud Pedram:
A Game Theoretic Approach to Low Energy Wireless Video Streaming.
696-697
Electronic Edition (link) BibTeX
- Luca Benini, Alessandro Ivaldi, Alberto Macii, Enrico Macii:
Block-Enabled Memory Macros: Design Space Exploration and Application-Specific Tuning.
698-699
Electronic Edition (link) BibTeX
- Kimish Patel, Enrico Macii, Massimo Poncino:
Synthesis of Partitioned Shared Memory Architectures for Energy-Efficient Multi-Processor SoC.
700-701
Electronic Edition (link) BibTeX
- Mladen Nikitovic, Mats Brorsson:
A Low Power Strategy for Future Mobile Terminals.
702-703
Electronic Edition (link) BibTeX
- Swarup Bhunia, Arijit Raychowdhury, Kaushik Roy:
Trim Bit Setting of Analog Filters Using Wavelet-Based Supply Current Analysis.
704-705
Electronic Edition (link) BibTeX
- Luís Rolíndez, Salvador Mir, Guillaume Prenat, Ahcène Bounceur:
A 0.18 µm CMOS Implementation of On-chip Analogue Test Signal Generation from Digital Test Patterns.
706-707
Electronic Edition (link) BibTeX
- Gildas Leger, Adoración Rueda:
A Digital Test for First-Order [Sigma-Delta] Modulators.
708-709
Electronic Edition (link) BibTeX
- James Chin, Mehrdad Nourani:
SoC Test Scheduling with Power-Time Tradeoff and Hot Spot Avoidance.
710-711
Electronic Edition (link) BibTeX
- Mounir Benabdenbi, Alain Greiner, François Pêcheux, Emmanuel Viaud, Matthieu Tuna:
STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores.
712-713
Electronic Edition (link) BibTeX
- Cecilia Metra, T. M. Mak, Martin Omaña:
Are Our Design for Testability Features Fault Secure?
714-715
Electronic Edition (link) BibTeX
- Francis G. Wolff, Christos A. Papachristou, David R. McIntyre:
Test Compression and Hardware Decompression for Scan-Based SoCs.
716-717
Electronic Edition (link) BibTeX
- Ashish Srivastava, Dennis Sylvester, David Blaauw:
Concurrent Sizing, Vdd and Vth Assignment for Low-Power Design.
718-719
Electronic Edition (link) BibTeX
- Pietro Babighian, Luca Benini, Enrico Macii:
Sizing and Characterization of Leakage-Control Cells for Layout-Aware Distributed Power-Gating.
720-723
Electronic Edition (link) BibTeX
- Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev:
An Asynchronous Synthesis Toolset Using Verilog.
724-725
Electronic Edition (link) BibTeX
- Gero Dittmann:
Organizing Libraries of DFG Patterns.
726-727
Electronic Edition (link) BibTeX
- Anca Mariana Molnos, Marc J. M. Heijligers, Sorin Cotofana, Jos T. J. van Eijndhoven:
Compositional Memory Systems for Data Intensive Applications.
728-729
Electronic Edition (link) BibTeX
- Juha Alakarhu, Jarkko Niittylahti:
Scalar Metric for Temporal Locality and Estimation of Cache Performance.
730-731
Electronic Edition (link) BibTeX
- James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois:
.NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation.
732-733
Electronic Edition (link) BibTeX
- Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Azevedo, Guido Araujo:
Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology.
734-735
Electronic Edition (link) BibTeX
- Peter Green, Salah Essa:
Integrating the Synchronous Dataflow Model with UML.
736-737
Electronic Edition (link) BibTeX
- Matthieu Briere, L. Carrel, T. Michalke, Fabien Mieyeville, Ian O'Connor, Frédéric Gaffiot:
Design and Behavioral Modeling Tools for Optical Network-on-Chip.
738-739
Electronic Edition (link) BibTeX
- Sheldon X.-D. Tan, Zhenyu Qi, Hang Li:
Hierarchical Modeling and Simulation of Large Analog Circuits.
740-741
Electronic Edition (link) BibTeX
- Peter R. Wilson, J. Neil Ross, Andrew D. Brown, Tom J. Kazmierski, Jerzy Baranowski:
Efficient Mixed-Domain Behavioural Modeling of Ferromagnetic Hysteresis Implemented in VHDL-AMS.
742-743
Electronic Edition (link) BibTeX
- Manish Handa, Ranga Vemuri:
A Fast Algorithm for Finding Maximal Empty Rectangles for Dynamic FPGA Placement.
744-745
Electronic Edition (link) BibTeX
- Alex Fit-Florea, Miroslav Halas, Fatih Kocan:
Enhancing Reliability of Operational Interconnections in FPGAs.
746-747
Electronic Edition (link) BibTeX
- Miljan Vuletic, Ludovic Righetti, Laura Pozzi, Paolo Ienne:
Operating System Support for Interface Virtualisation of Reconfigurable Coprocessors.
748
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:05:44 2009
by Michael Ley (ley@uni-trier.de)
