| 2003 | 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany |
| 2003 | A Circuit SAT Solver With Signal Correlation Guided Learning. Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. Huang |
| 2003 | A Co-Design Methodology for Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities. Marcus T. Schmitz, Bashir M. Al-Hashimi, Petru Eles |
| 2003 | A Custom-Cell Identification Method for High-Performance Mixed Standard/Custom-Cell Designs. Jennifer Y.-L. Lo, Wu-An Kuo, Allen C.-H. Wu, TingTing Hwang |
| 2003 | A Fast Algorithm for the Layout Based Electro-Thermal Simulation. Márta Rencz, Vladimír Székely, András Poppe |
| 2003 | A First Step Towards Hw/Sw Partitioning of UML Specifications. William Fornaciari, P. Micheli, Fabio Salice, L. Zampella |
| 2003 | A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices. Marco Göltze |
| 2003 | A Flexible Virtual Platform for Computational and Communication Architecture Exploration of DMT VDSL Modems. Silvia Brini, Doha Benjelloun, Fabien Castanier |
| 2003 | A Fully Qualified Top-Down and Bottom-Up Mixed-Signal Design Flow for Non Volatile Memories Technologies. Pierluigi Daglio, Carlo Roma |
| 2003 | A Fully Self-Timed Bit-Serial Pipeline Architecture for Embedded Systems. Achim Rettberg, Mauro Cesar Zanella, Christophe Bobda, Thomas Lehmann |
| 2003 | A General Framework for Analysing System Properties in Platform-Based Embedded System Designs. Samarjit Chakraborty, Simon Künzli, Lothar Thiele |
| 2003 | A Lightweight Approach for Embedded Reconfiguration of FPGAs. Brandon Blodget, Scott McMillan, Patrick Lysaght |
| 2003 | A Low Device Occupation IP to Implement Rijndael Algorithm. Alex Panato, Marcelo Barcelos, Ricardo Augusto da Luz Reis |
| 2003 | A Method of Test Generation fo Path Delay Faults Using Stuck-at Fault Test Generation Algorithms. Satoshi Ohtake, Kouhei Ohtani, Hideo Fujiwara |
| 2003 | A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification. Ali Sayinta, Gorkem Canverdi, Marc Pauwels, Amer Alshawa, Wim Dehaene |
| 2003 | A Model of Computation for Continuous-Time ?-? Modulators. Ewout Martens, Georges G. E. Gielen |
| 2003 | A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration. Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Riadh Gaiech, Eric Martin |
| 2003 | A New Algorithm for Energy-Driven Data Compression in VLIW Embedded Processors. Alberto Macii, Enrico Macii, Fabrizio Crudo, Roberto Zafalon |
| 2003 | A New Approach to Test Generation and Test Compaction for Scan Circuits. Irith Pomeranz, Sudhakar M. Reddy |
| 2003 | A New Crosstalk Noise Model for DOMINO Logic Circuits. Seung Hoon Choi, Kaushik Roy |
| 2003 | A New Simulation Technique for Periodic Small-Signal Analysis. Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulyanov, Michael M. Zharov, Brian J. Mulvaney |
| 2003 | A New and Efficient Congestion Evaluation Model in Floorplanning: Wire Density Control with Twin Binary Trees. Steve T. W. Lai, Evangeline F. Y. Young, Chris C. N. Chu |
| 2003 | A Novel Metric for Interconnect Architecture Performance. Parthasarathi Dasgupta, Andrew B. Kahng, Swamy Muddu |
| 2003 | A Novel, Low-Cost Algorithm for Sequentially Untestable Fault Identification. Manan Syal, Michael S. Hsiao |
| 2003 | A P1500-Compatible Programmable BIST Approach for the Test of Embedded Flash Memories. Paolo Bernardi, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
| 2003 | A Partition-Based Approach for Identifying Failing Scan Cells in Scan-BIST with Applications to System-on-Chip Fault Diagnosis. Chunsheng Liu, Krishnendu Chakrabarty |
| 2003 | A Practical Approach for Bus Architecture Optimization at Transaction Level. Osamu Ogawa, Sylvain Bayon de Noyer, Pascal Chauvet, Katsuya Shinohara, Yoshiharu Watanabe, Hiroshi Niizuma, Takayuki Sasaki, Yuji Takai |
| 2003 | A Proposal for Transaction-Level Verification with Component Wrapper Language. Koji Ara, Kei Suzuki |
| 2003 | A Secure Web-Based Framework for Electronic System Level Design. Tom J. Kazmierski, Xing Q. Yang |
| 2003 | A Solution for Hardware Emulation of Non Volatile Memory Macrocells. Alessandro Pirola |
| 2003 | A System to Validate and Certify Soft and Hard IP. Bernard Laurent, Thierry Karger |
| 2003 | A Technique for High Ratio LZW Compression. Michael J. Knieser, Francis G. Wolff, Christos A. Papachristou, Daniel J. Weyer, David R. McIntyre |
| 2003 | A Top-Down Microsystems Design Methodology and Associated Challenges . Michael S. McCorquodale, Fadi H. Gebara, Keith L. Kraver, Eric D. Marsman, Robert M. Senger, Richard B. Brown |
| 2003 | A Unified Approach for SOC Testing Using Test Data Compression and TAM Optimization. Vikram Iyengar, Anshuman Chandra, Sharon Schweizer, Krishnendu Chakrabarty |
| 2003 | Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts. Menno Lindwer, Diana Marculescu, Twan Basten, Rainer Zimmermann, Radu Marculescu, Stefan Jung, Eugenio Cantatore |
| 2003 | An Accurate Analysis of the Effects of Soft Errors in the Instruction and Data Caches of a Pipelined Microprocessor. Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
| 2003 | An Analytical Model for Predicting the Remaining Battery Capacity of Lithium-Ion Batteries. Peng Rong, Massoud Pedram |
| 2003 | An Approach to the Classification of Mixed-Signal Circuits in a Pseudorandom Testing Scheme. Francesco Corsi, Cristoforo Marzocca, Gianvito Matarrese |
| 2003 | An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. Antonio G. Lomeña, Marisa Luisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev |
| 2003 | An Industrial/Academic Configurable System-on-Chip Project (CSoC): Coarse-Grain XXP-/Leon-Based Architecture Integration. Jürgen Becker, Alexander Thomas, Martin Vorbach, Volker Baumgarten |
| 2003 | An Integrated Approach for Improving Cache Behavior. Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhary, Ismail Kadayif |
| 2003 | Analysis and White-Box Modeling of Weakly Nonlinear Time-Varying Circuits. Petr Dobrovolný, Gerd Vandersteen, Piet Wambacq, Stéphane Donnay |
| 2003 | Analytical Design Space Exploration of Caches for Embedded Systems. Arijit Ghosh, Tony Givargis |
| 2003 | Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study. Monica Besana, Michele Borgatti |
| 2003 | Approximation Approach for Timing Jitter Characterization in Circuit Simulators. Mark M. Gourary, Sergey G. Rusakov, Sergey L. Ulyanov, Michael M. Zharov, Kiran K. Gullapalli, Brian J. Mulvaney |
| 2003 | Area Fill Generation With Inherent Data Volume Reduction. Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexander Zelikovsky, Yuhong Zheng |
| 2003 | Automated Bus Generation for Multiprocessor SoC Design. Kyeong Keol Ryu, Vincent John Mooney |
| 2003 | Automatic Behavioural Model Calibration for Efficient PLL System Verification. Ayman Mounir, Ahmed Mostafa, Maged Fikry |
| 2003 | Automatic Generation of Simulation Monitors from Quantitative Constraint Formula. Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
| 2003 | Background Data Organisation for the Low-Power Implementation in Real-Time of a Digital Audio Broadcast Receiver on a SIMD Processor. Pieter Op de Beeck, C. Ghez, Erik Brockmeyer, Miguel Miranda, Francky Catthoor, Geert Deconinck |
| 2003 | Behavioral Modeling and Simulation of a Mixed Analog/Digital Automatic Gain Control Loop in a 5 GHz WLAN Receiver. Wolfgang Eberle, Gerd Vandersteen, Piet Wambacq, Stéphane Donnay, Georges G. E. Gielen, Hugo De Man |
| 2003 | Behavioural Modelling and Simulation of SigmaDelta Modulators Using Hardware Description Languages. Rafael Castro-López, Francisco V. Fernández, Fernando Medeiro, Ángel Rodríguez-Vázquez |
| 2003 | Bluetooth Transceiver Design with VHDL-AMS. Rami Ahola, Daniel Wallner, Marius Sida |
| 2003 | Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer. Sungjoo Yoo, Iuliana Bacivarov, Aimen Bouchhima, Yanick Paviot, Ahmed Amine Jerraya |
| 2003 | Chromatic Encoding: A Low Power Encoding Technique for Digital Visual Interface. Wei-Chung Cheng, Massoud Pedram |
| 2003 | Circuit and Platform Design Challenges in Technologies beyond 90nm. Bill Grundmann, Rajesh Galivanche, Sandip Kundu |
| 2003 | Combination of Lower Bounds in Exact BDD Minimization. Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler |
| 2003 | Combined FDTD/Macromodel Simulation of Interconnected Digital Devices. Stefano Grivet-Talocia, Igor S. Stievano, Ivan A. Maio, Flavio G. Canavero |
| 2003 | Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. Enric Pastor, Marco A. Peña |
| 2003 | Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors . Frank Gilbert, Michael J. Thul, Norbert Wehn |
| 2003 | Comparing Analytical Modeling with Simulation for Network Processors: A Case Study. Matthias Gries, Chidamber Kulkarni, Christian Sauer, Kurt Keutzer |
| 2003 | Comparison of Test Pattern Decompression Techniques. Ondrej Novák |
| 2003 | Compiler Support for Reducing Leakage Energy Consumption. Wei Zhang, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Vivek De |
| 2003 | Compiler-Directed ILP Extraction for Clustered VLIW/EPIC Machines: Predication, Speculation and Modulo Scheduling. Satish Pillai, Margarida F. Jacome |
| 2003 | Consequences of RAM Bitline Twisting for Test Coverage. Ivo Schanstra, Ad J. van de Goor |
| 2003 | Control Flow Driven Splitting of Loop Nests at the Source Code Level . Heiko Falk, Peter Marwedel |
| 2003 | Creating Value Through Test. Erik Jan Marinissen, Bart Vermeulen, Robert Madge, Michael Kessler, Michael Müller |
| 2003 | Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions . Avi Ziv |
| 2003 | Crosstalk Reduction in Area Routing. Ryon M. Smey, Bill Swartz, Patrick H. Madden |
| 2003 | DFT for Testing igh-Performance Pipelined Circuits with Slow-Speed Testers. Muhammad Nummer, Manoj Sachdev |
| 2003 | Data Space Oriented Scheduling in Embedded Systems. Mahmut T. Kandemir, Guangyu Chen, Wei Zhang, Ibrahim Kolcu |
| 2003 | Decomposition of Extended Finite State Machine for Low Power Design. MingHung Lee, TingTing Hwang, Shi-Yu Huang |
| 2003 | Defining Cost Functions for Robust IC Design and Optimization. Árpád Bürmen, Janez Puhan, Tadej Tuma |
| 2003 | Delay Defect Diagnosis Based Upon Statistical Timing Models - The First Step. Angela Krstic, Li-C. Wang, Kwang-Ting Cheng, Jing-Jia Liou, Magdy S. Abadir |
| 2003 | Delay Fault Testing of Core-Based Systems-on-a-Chi. Qiang Xu, Nicola Nicolici |
| 2003 | Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform. Laura Vanzago, Bishnupriya Bhattacharya, Joel Cambonie, Luciano Lavagno |
| 2003 | Design and Analysis of a Programmable Single-Chip Architecture for DVB-T Base-Band Receiver. Chengzhi Pan, Nader Bagherzadeh, Amir Hosein Kamalizad, Arezou Koohi |
| 2003 | Designing System-Level Software Solutions for Open OS's on 3g Wireless Handsets. S. Glaeson, E. Petit |
| 2003 | Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results. Bogdan Nicolescu, Raoul Velazco |
| 2003 | Development and Application of Design Transformations in ForSyDe. Ingo Sander, Axel Jantsch, Zhonghai Lu |
| 2003 | Development of a Tool-Set for Remote and Partial Reconfiguration of FPGAs. Fernando Gehm Moraes, Daniel Mesquita, José Carlos S. Palma, Leandro Möller, Ney Laert Vilar Calazans |
| 2003 | Different Approaches to Add Reconfigurability in a SoC Architecture. Bhusan Gupta, Michele Borgatti |
| 2003 | Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units. Euiseok Kim, Hiroshi Saito, Jeong-Gun Lee, Dong-Ik Lee, Hiroshi Nakamura, Takashi Nanya |
| 2003 | Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive Designs. Sumit Gupta, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau |
| 2003 | Dynamic Functional Unit Assignment for Low Power. Steve Haga, Natasha Reeves, Rajeev Barua, Diana Marculescu |
| 2003 | Dynamic Tool Integration in Heterogeneous Computer Networks. Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner |
| 2003 | EBIST: A Novel Test Generator with Built-In Fault Detection Capability. Dhiraj K. Pradhan, Chunsheng Liu, Krishnendu Chakrabarty |
| 2003 | Efficient Field Processing Cores in an Innovative Protocol Processor System-on-Chip. George Lykakis, N. Mouratidis, Kyriakos Vlachos, Nikos A. Nikolaou, Stylianos Perissakis, G. Sourdis, George E. Konstantoulakis, Dionisios N. Pnevmatikatos, Dionisios I. Reisis |
| 2003 | Efficient Preimage Computation Using A Novel Success-Driven ATPG. Shuo Sheng, Michael S. Hsiao |
| 2003 | Embedded Software in Digital AM-FM Chipset. Michel Sarlotte, Bernard Candaele, Jérôme Quévremont, D. Merel |
| 2003 | Energy Estimation for Extensible Processors. Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha |
| 2003 | Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems. Ying Zhang, Krishnendu Chakrabarty |
| 2003 | Enhancing Signal Integrity through a Low-Overhead Encoding Scheme on Address Buses. Tiehan Lv, Jörg Henkel, Haris Lekatsas, Wayne H. Wolf |
| 2003 | Enhancing Speedup in Network Processing Applications by Exploiting Instruction Reuse with Flow Aggregation. G. Surendra, Subhasis Banerjee, S. K. Nandy |
| 2003 | Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2003 | Estimation of Bus Performance for a Tuplespace in an Embedded Architecture. Nicola Drago, Franco Fummi, Marco Monguzzi, Giovanni Perbellini, Massimo Poncino |
| 2003 | Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device. Shinya Honda, Hiroaki Takada |
| 2003 | Evolutionary Optimization of Markov Sources for Pseudo Random Scan BIST. Ilia Polian, Bernd Becker, Sudhakar M. Reddy |
| 2003 | Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration. George Logothetis, Klaus Schneider |
| 2003 | Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling. Bingfeng Mei, Serge Vernalde, Diederik Verkest, Hugo De Man, Rudy Lauwereins |
| 2003 | Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures. Jingcao Hu, Radu Marculescu |
| 2003 | Exploring High Bandwidth Pipelined Cache Architecture for Scaled Technology. Amit Agarwal, Kaushik Roy, T. N. Vijaykumar |
| 2003 | Exploring SW Performance Using SoC Transaction-Level Modeling. Imed Moussa, Thierry Grellier, Giang Nguyen |
| 2003 | Extending JTAG for Testing Signal Integrity in SoCs. Nisar Ahmed, Mohammad H. Tehranipour, Mehrdad Nourani |
| 2003 | Extraction of Piecewise-Linear Analog Circuit Models from Trained Neural Networks Using Hidden Neuron Clustering. Simona Doboli, Gaurav Gothoskar, Alex Doboli |
| 2003 | FPGA-Based Implementation of a Serial RSA Processor. Antonino Mazzeo, Luigi Romano, Giacinto Paolo Saggese, Nicola Mazzocca |
| 2003 | Fast Computation of Data Correlation Using BDDs. Zhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maciej J. Ciesielski |
| 2003 | Fast Evaluation of Protocol Processor Architectures for IPv6 Routing. Johan Lilius, Dragos Truscan, Seppo Virtanen |
| 2003 | Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs. Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van der Wolf, Ed F. Deprettere |
| 2003 | Figure of Merit Based Selection of A/D Converters. Martin Vogels, Georges G. E. Gielen |
| 2003 | Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation. Wei Qin, Sharad Malik |
| 2003 | Formal Methods for Integration of Automotive Software. Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf |
| 2003 | Formal Semantics of Synchronous SystemC. Ashraf Salem |
| 2003 | From C Programs to the Configure-Execute Model. João M. P. Cardoso, Markus Weinhardt |
| 2003 | Fully Automatic Test Program Generation for Microprocessor Cores. Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero |
| 2003 | G-MAC: An Application-Specific MAC/Co-Processor Synthesizer. Alex C.-Y. Chang, Wu-An Kuo, Allen C.-H. Wu, TingTing Hwang |
| 2003 | Generalized Data Transformations for Enhancing Cache Behavior. Victor De La Luz, Mahmut T. Kandemir, Ismail Kadayif, Ugur Sezer |
| 2003 | Generalized Posynomial Performance Modeling. Tom Eeckelaert, Walter Daems, Georges G. E. Gielen, Willy M. C. Sansen |
| 2003 | Global Wire Bus Configuration with Minimum Delay Uncertainty. Li-Da Huang, Hung-Ming Chen, D. F. Wong |
| 2003 | HOLMES: Capturing the Yield-Optimized Design Space Boundaries of Analog and RF Integrated Circuits. Bart De Smedt, Georges G. E. Gielen |
| 2003 | HW/SW Partitioned Optimization and VLSI-FPGA Implementation of the MPEG-2 Video Decoder. Matjaz Verderber, Andrej Zemva, Damjan Lampret |
| 2003 | Hardware/Software Design Space Exploration for a Reconfigurable Processor. Alberto La Rosa, Luciano Lavagno, Claudio Passerone |
| 2003 | Hardware/Software Partitioning of Operating Systems. Vincent John Mooney |
| 2003 | Heterogeneous Programmable Logic Block Architectures. Aneesh Koorapaty, Vikas Chandra, Kim Yaw Tong, Chetan Patel, Lawrence T. Pileggi, Herman Schmit |
| 2003 | HiBRID-SoC: A Multi-Core System-on-Chip Architecture for Multimedia Signal Processing Applications. Hans-Joachim Stolberg, Mladen Berekovic, Lars Friebe, Sören Moch, Sebastian Flügel, Xun Mao, Mark Bernd Kulaczewski, Heiko Klußmann, Peter Pirsch |
| 2003 | Hierarchical Global Floorplacement Using Simulated Annealing and Network Flow Area Migration. Wonjoon Choi, Kia Bazargan |
| 2003 | High Speed and Highly Testable Parallel Two-Rail Code Checker. Martin Omaña, Daniele Rossi, Cecilia Metra |
| 2003 | High-Level Allocation to Minimize Internal Hardware Wastage. María C. Molina, José M. Mendías, Román Hermida |
| 2003 | Hot Topic Session: RF Design Technology for Highly Integrated Communication Systems. Reimund Wittmann, Jürgen Hartung, Hans-Joachim Wassener, Günther Tränkle, Michael Schröter |
| 2003 | IC Design Challenges for Ambient Intelligence. Emile H. L. Aarts, Raf Roovers |
| 2003 | IPSIM: SystemC 3.0 Enhancements for Communication Refinement. Marcello Coppola, Stephane Curaba, Miltos D. Grammatikakis, Giuseppe Maruccia |
| 2003 | Implementation and Evaluation of an On-Demand Parameter-Passing Strategy for Reducing Energy. Mahmut T. Kandemir, Ibrahim Kolcu, Wei Zhang |
| 2003 | Implicit Resolution of the Chapman-Kolmogorov Equations for Sequential Circuits: An Application in Power Estimation. Ana T. Freitas, Arlindo L. Oliveira |
| 2003 | Improved Design Methodology for High-Speed High-Accuracy Current Steering D/A Converters. Miquel Albiol, José Luis González, Eduard Alarcón |
| 2003 | Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects. Jens Gerling, Oliver Stübbe, Jürgen Schrage, Gerd Mrozynski, Jürgen Teich |
| 2003 | Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2003 | Improving the Efficiency of Memory Partitioning by Address Clustering. Alberto Macii, Enrico Macii, Massimo Poncino |
| 2003 | Infrastructure for Design and Management of Relocatable Tasks in a Heterogeneous Reconfigurable System-on-Chip. Jean-Yves Mignolet, Vincent Nollet, Paul Coene, Diederik Verkest, Serge Vernalde, Rudy Lauwereins |
| 2003 | Instruction Set Emulation for Rapid Prototyping of SoCs . Jürgen Schnerr, Gunter Haug, Wolfgang Rosenstiel |
| 2003 | Interactive Ray Tracing on Reconfigurable SIMD MorphoSys. Haitao Du, Marcos Sánchez-Élez, Nozar Tabrizi, Nader Bagherzadeh, Manuel L. Anido, Milagros Fernández |
| 2003 | Interconnect Planning with Local Area Constrained Retiming. Ruibing Lu, Cheng-Kok Koh |
| 2003 | Introduction to Hardware Abstraction Layers for SoC. Sungjoo Yoo, Ahmed Amine Jerraya |
| 2003 | Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated. Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta |
| 2003 | LIT - An Automatic Layout Generation Tool for Trapezoidal Association of Transistors for Basic Analog Building Blocks. Alessandro Girardi, Sergio Bampi |
| 2003 | Layer Assignment echniques for Low Energy in Multi-Layered Memory Organisations. Erik Brockmeyer, Miguel Miranda, Henk Corporaal, Francky Catthoor |
| 2003 | Layered, Multi-Threaded, High-Level Performance Design. Andrew S. Cassidy, JoAnn M. Paul, Donald E. Thomas |
| 2003 | Layout-Driven SOC Test Architecture Design for Test Time and Wire Length Minimization. Sandeep Kumar Goel, Erik Jan Marinissen |
| 2003 | Library Functions Timing Characterization for Source-Level Analysis. Carlo Brandolese, William Fornaciari, Fabio Salice, Donatella Sciuto |
| 2003 | Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect. Frédéric Pétrot, Pascal Gomez |
| 2003 | Linear Model-Based Error Identification and Calibration for Data Converters. Carsten Wegener, Michael Peter Kennedy |
| 2003 | Load Distribution with the Proximity Congestion Awareness in a Network on Chip. Erland Nilsson, Mikael Millberg, Johnny Öberg, Axel Jantsch |
| 2003 | Local Search for Boolean Relations on the Basis of Unit Propagation. Yakov Novikov |
| 2003 | Low Energy Data Management for Different On-Chip Memory Levels in Multi-Context Reconfigurable Architectures. Marcos Sánchez-Élez, Milagros Fernández, Manuel L. Anido, Haitao Du, Nader Bagherzadeh, Román Hermida |
| 2003 | Low-Cost Software-Based Self-Testing of RISC Processor Cores. Nektarios Kranitis, George Xenoulis, Dimitris Gizopoulos, Antonis M. Paschalis, Yervant Zorian |
| 2003 | MRPF: An Architectural Transformation for Synthesis of High-Performance and Low-Power Digital Filters. Hunsoo Choo, Khurram Muhammad, Kaushik Roy |
| 2003 | Managing a Reconfigurable Processor in a General Purpose Workstation Environment. Michael Winston Dales |
| 2003 | Mapping Applications to an FPFA Tile. Michèl A. J. Rosien, Yuanqing Guo, Gerard J. M. Smit, Thijs Krol |
| 2003 | Masking the Energy Behavior of DES Encryption. Hendra Saputra, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin, Richard R. Brooks, Soontae Kim, Wei Zhang |
| 2003 | Mesh Partitioning Approach to Energy Efficient Data Layout. Sambuddhi Hettiaratchi, Peter Y. K. Cheung |
| 2003 | Micro-Network for SoC: Implementation of a 32-Port SPIN network. Adrijean Andriahantenaina, Alain Greiner |
| 2003 | Model-Order Reduction Based on PRONY's Method. Makram M. Mansour, Amit Mehrotra |
| 2003 | Modeling Noise Transfer Characteristic of Dynamic Logic Gates. Li Ding, Pinaki Mazumder |
| 2003 | Modeling and Evaluation of Substrate Noise Induced by Interconnects. Ferran Martorell, Diego Mateo, Xavier Aragonès |
| 2003 | Modeling and Integration of Peripheral Devices in Embedded Systems. Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi |
| 2003 | Multi-Granularity Metrics for the Era of Strongly Personalized SOCs. Yannick Le Moullec, Nahla Ben Amor, Jean-Philippe Diguet, Mohamed Abid, Jean Luc Philippe |
| 2003 | Multithreaded Synchronous Data Flow Simulation. Johnson S. Kin, José Luis Pino |
| 2003 | NPSE: A High Performance Network Packet Search Engine. Naresh Soni, Nick Richardson, Lun Bin Huang, Suresh Rajgopal, George Vlantis |
| 2003 | Network Processing Challenges and an Experimental NPU Platform. Pierre G. Paulin, Chuck Pilkington, Essaid Bensoudane |
| 2003 | Noise Macromodel for Radio Frequency Integrated Circuits. Yang Xu, Xin Li, Peng Li, Lawrence T. Pileggi |
| 2003 | Non-Enumerative Path Delay Fault Diagnosis . Saravanan Padmanaban, Spyros Tragoudas |
| 2003 | Non-Intrusive Concurrent Error Detection in FSMs through State/Output Compaction and Monitoring via Parity Trees. Petros Drineas, Yiorgos Makris |
| 2003 | On Modeling Cross-Talk Faults. Sujit T. Zachariah, Yi-Shing Chang, Sandip Kundu, Chandra Tirumurti |
| 2003 | On the Characterization of Hard-to-Detect Bridging Faults. Irith Pomeranz, Sudhakar M. Reddy, Sandip Kundu |
| 2003 | On-Chip Stochastic Communication. Tudor Dumitras, Radu Marculescu |
| 2003 | On-chip Stack Based Memory Organization for Low Power Embedded Architectures. Mahesh Mamidipaka, Nikil D. Dutt |
| 2003 | Online Scheduling for Block-Partitioned Reconfigurable Devices . Herbert Walder, Marco Platzner |
| 2003 | Optimal Reconfiguration Functions for Column or Data-bit Built-In Self-Repair. Michael Nicolaidis, Nadir Achouri, Slimane Boutobza |
| 2003 | Optimizing Stresses for Testing DRAM Cell Defects Using Electrical Simulation. Zaid Al-Ars, Ad J. van de Goor, Jens Braun, Detlev Richter |
| 2003 | PARLAK: Parametrized Lock Cache Generator. Bilge Saglam Akgul, Vincent John Mooney III |
| 2003 | PLFire: A Visualization Tool for Asynchronous Phased Logic Designs. Kenneth Fazel, Mitchell A. Thornton, Robert B. Reese |
| 2003 | Packetized On-Chip Interconnect Communication Analysis for MPSoC. Terry Tao Ye, Luca Benini, Giovanni De Micheli |
| 2003 | Panel Title: Reconfigurable Computing - Different Perspectives. Wolfgang Rosenstiel, Rudy Lauwereins, Ivo Bolsens, Chris Rowen, Yankin Tanurhan, Kees A. Vissers, S. Wang |
| 2003 | Parallel Processing Architectures for Reconfigurable Systems. Kees A. Vissers |
| 2003 | Performance-Directed Retiming for FPGAs Using Post-Placement Delay Information. Ulrich Seidl, Klaus Eckl, Frank M. Johannes |
| 2003 | Platform-Based Testbench Generation. Renate Henftling, Andreas Zinn, Matthias Bauer, Wolfgang Ecker, Martin Zambaldi |
| 2003 | Polychrony for Refinement-Based Design. Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet |
| 2003 | Porting a Network Cryptographic Service to the RMC2000: A Case Study in Embedded Software Development. Stephen Jan, Paolo de Dios, Stephen A. Edwards |
| 2003 | Power Constrained High-Level Synthesis of Battery Powered Digital Systems. Sune Fallgaard Nielsen, Jan Madsen |
| 2003 | Power Efficiency through Application-Specific Instruction Memory Transformations. Peter Petrov, Alex Orailoglu |
| 2003 | Power-Performance System-Level Exploration of a MicroSPARC2-Based Embedded Architecture. Gianluca Palermo, Cristina Silvano, Vittorio Zaccaria |
| 2003 | Power/Ground Mesh Area Optimization Using Multigrid-Based Technique. Kai Wang, Malgorzata Marek-Sadowska |
| 2003 | Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications. Venkata Syam P. Rapaka, Diana Marculescu |
| 2003 | Processor/Memory Co-Exploration on Multiple Abstraction Levels. Gunnar Braun, Andreas Wieferink, Oliver Schliebusch, Rainer Leupers, Heinrich Meyr, Achim Nohl |
| 2003 | Profile-Driven Selective Code Compression. Yuan Xie, Wayne H. Wolf, Haris Lekatsas |
| 2003 | Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates |
| 2003 | RF-BIST: Loopback Spectral Signature Analysis. Doris Lupea, Udo Pursche, Hans-Joachim Jentschel |
| 2003 | RTL Test Pattern Generation for High Quality Loosely Deterministic BIST. Marcelino B. Santos, José M. Fernandes, Isabel C. Teixeira, João Paulo Teixeira |
| 2003 | RTOS Modeling for System Level Design. Andreas Gerstlauer, Haobo Yu, Daniel Gajski |
| 2003 | Rapid Configuration and Instruction Selection for an ASIP: A Case Study. Newton Cheung, Jörg Henkel, Sri Parameswaran |
| 2003 | Rapid Prototyping of Flexible Embedded Systems on Multi-DSP Architectures. Bernhard Rinner, Martin Schmid, Reinhold Weiss |
| 2003 | Reconfigurable Signal Processing in Wireless Terminals. Jürgen Helmschmidt, Eberhard Schüler, Prashant Rao, Sergio Rossi, Serge di Matteo, Rainer Bonitz |
| 2003 | Reduced Delay Uncertainty in High Performance Clock Distribution Networks. Dimitrios Velenis, Marios C. Papaefthymiou, Eby G. Friedman |
| 2003 | Reducing Multi-Valued Algebraic Operations to Binary. Jie-Hong Roland Jiang, Alan Mishchenko, Robert K. Brayton |
| 2003 | Reducing Power Consumption for High-Associativity Data Caches in Embedded Processors. Dan Nicolaescu, Alexander V. Veidenbaum, Alexandru Nicolau |
| 2003 | Refinement of Mixed-Signal Systems with SystemC. Christoph Grimm, Christian Meise, Wilhelm Heupke, Klaus Waldschmidt |
| 2003 | Run-Time Management of Logic Resources on Reconfigurable Systems. Manuel G. Gericota, Gustavo R. Alves, Miguel L. Silva, José M. Ferreira |
| 2003 | Runtime Code Parallelization for On-Chip Multiprocessors. Mahmut T. Kandemir, Wei Zhang, Mustafa Karaköy |
| 2003 | SAT-Based Techniques in System Synthesis. Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien |
| 2003 | SDRAM-Energy-Aware Memory Allocation for Dynamic Multi-Media Applications on Multi-Processor Platforms. Paul Marchal, José Ignacio Gómez, Luis Piñuel, Davide Bruni, Luca Benini, Francky Catthoor, Henk Corporaal |
| 2003 | SPIN: A Scalable, Packet Switched, On-Chip Micro-Network. Adrijean Andriahantenaina, Hervé Charlery, Alain Greiner, Laurent Mortiez, César Albenes Zeferino |
| 2003 | STG Optimisation in the Direct Mapping of Asynchronous Circuits . Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev |
| 2003 | Safe Automotive Software Development. Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ernst |
| 2003 | Scaling into Ambient Intelligence. Twan Basten, Luca Benini, Anantha P. Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao |
| 2003 | Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems. Paul Pop, Petru Eles, Zebo Peng |
| 2003 | Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems. Dong Wu, Bashir M. Al-Hashimi, Petru Eles |
| 2003 | Scheduling and Timing Analysis of HW/SW On-Chip Communication in MP SoC Design. Youngchul Cho, Ganghee Lee, Sungjoo Yoo, Kiyoung Choi, Nacer-Eddine Zergainoh |
| 2003 | Securing Mobile Appliances: New Challenges for the System Designer. Anand Raghunathan, Srivaths Ravi, Sunil Hattangady, Jean-Jacques Quisquater |
| 2003 | Selectively Clocked CMOS Logic Style for Low-Power Noise-Immune Operations in Scaled Technologies. Naran Sirisantana, Kaushik Roy |
| 2003 | Self-Testing Embedded Checkers for Bose-Lin, Bose, and a Class of Borden Codes. Steffen Tarnick |
| 2003 | Semiconductor Challenges. Andrea Cuomo |
| 2003 | Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. Amit Goel, Randal E. Bryant |
| 2003 | Set Top Box SoC Design Methodology at STMicroelectronics. François Rémond, Pierre Bricaud |
| 2003 | Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology. Abhijit K. Deb, Johnny Öberg, Axel Jantsch |
| 2003 | Simultaneous Dynamic Voltage Scaling of Processors and Communication Links in Real-Time Distributed Embedded Systems. Jiong Luo, Li-Shiuan Peh, Niraj K. Jha |
| 2003 | Single-Chip MPEG-2 422P@HL CODEC LSI with Multi-Chip Configuration for Large Scale Processing beyond HDTV Level. Hiroe Iwasaki, Jiro Naganuma, Koyo Nitta, Ken Nakamura, Takeshi Yoshitome, Mitsuo Ogura, Yasuyuki Nakajima, Yutaka Tashiro, Takayuki Onishi, Mitsuo Ikeda, Makoto Endo |
| 2003 | SoC Design and Test Considerations. Martin Schrader, Roderick McConnell |
| 2003 | Software Architectural Transformations: A New Approach to Low Energy Embedded Software. Tat Kee Tan, Anand Raghunathan, Niraj K. Jha |
| 2003 | Software Streaming via Block Streaming. Pramote Kuacharoen, Vincent John Mooney, Vijay K. Madisetti |
| 2003 | Specification of Non-Functional Intellectual Property Components. Jianwen Zhu, Wai Sum Mong |
| 2003 | Statistical Timing Analysis Using Bounds. Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula |
| 2003 | Symbolic Analysis of Nonlinear Analog Circuits. Alicia Manthe, Zhao Li, Chuanjin Richard Shi, Kartikeya Mayaram |
| 2003 | Synthesis of Application-Specific Highly-Efficient Multi-Mode Systems for Low-Power Applications. Lih-Yih Chiou, Swarup Bhunia, Kaushik Roy |
| 2003 | Synthesis of CMOS Analog Cells Using AMIGO. Ramy Iskander, Mohamed Dessouky, Maie Aly, Mahmoud Magdy, Noha Hassan, Noha Soliman, Sami Moussa |
| 2003 | Synthesis of Complex Control Structures from Behavioral SystemC Models. Francesco Bruschi, Fabrizio Ferrandi |
| 2003 | System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese |
| 2003 | System Level Specification in Lava. Satnam Singh |
| 2003 | System-Level Power Analysis Methodology Applied to the AMBA AHB Bus. Marco Caldari, Massimo Conti, Massimo Coppola, Paolo Crippa, Simone Orcioni, Lorenzo Pieralisi, Claudio Turchetti |
| 2003 | SystemC Modeling of a Bluetooth Transceiver: Dynamic Management of Packet Type in a Noisy Channel. Marco Caldari, Massimo Conti, Paolo Crippa, Giuliano Marozzi, Fabio Di Gennaro, Simone Orcioni, Claudio Turchetti |
| 2003 | SystemC-AMS Requirements, Design Objectives and Rationale. Alain Vachoux, Christoph Grimm, Karsten Einwich |
| 2003 | SystemC-VHDL Co-Simulation and Synthesis in the HW Domain. Massimo Bombana, Francesco Bruschi |
| 2003 | Systemic Embedded Software Generation from SystemC. Fernando Herrera, Hector Posadas, Pablo Sánchez, Eugenio Villar |
| 2003 | Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops. Martin John Burbidge, Jim Tijou, Andrew Richardson |
| 2003 | Test Data Compression Based on Output Dependence. Irith Pomeranz, Sudhakar M. Reddy |
| 2003 | Test Data Compression: The System Integrator's Perspective. Paul Theo Gonciari, Bashir M. Al-Hashimi, Nicola Nicolici |
| 2003 | Test Generation for Acyclic Sequential Circuits with Single Stuck-at Fault Combinational ATPG. Hideyuki Ichihara, Tomoo Inoue |
| 2003 | Test Pattern Compression Using Prelude Vectors in Fan-Out Scan Chain with Feedback Architecture. Nahmsuk Oh, Rohit Kapur, Thomas W. Williams, Jim Sproch |
| 2003 | The Power Grid Transient Simulation in Linear Time Based on 3D Alternating-Direction-Implicit Method . Yu-Min Lee, Charlie Chung-Ping Chen |
| 2003 | Time Budgeting in a Wireplanning Context. Jurjen Westra, Dirk-Jan Jongeneel, Ralph H. J. M. Otten, Chandu Visweswariah |
| 2003 | Time Domain Multiplexed TAM: Implementation and Comparison. Zahra Sadat Ebadi, André Ivanov |
| 2003 | Time-Varying, Frequency-Domain Modeling and Analysis of Phase-Locked Loops with Sampling Phase-Frequency Detectors. Piet Vanassche, Georges G. E. Gielen, Willy M. C. Sansen |
| 2003 | Timing Verification with Crosstalk for Transparently Latched Circuits. Hai Zhou |
| 2003 | Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip. Edwin Rijpkema, Kees G. W. Goossens, Andrei Radulescu, John Dielissen, Jef L. van Meerbergen, Paul Wielage, Erwin Waterlander |
| 2003 | Transaction Based Design: Another Buzzword or the Solution to a Design Problem? Heinz-Josef Schlebusch, Gary Smith, Donatella Sciuto, Daniel Gajski, Carsten Mielenz, Christopher K. Lennard, Frank Ghenassia, Stuart Swan, Joachim Kunkel |
| 2003 | Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0. Marco Caldari, Massimo Conti, Massimo Coppola, Stephane Curaba, Lorenzo Pieralisi, Claudio Turchetti |
| 2003 | Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints. Sharath Kodase, Shige Wang, Kang G. Shin |
| 2003 | Transistor-Level Static Timing Analysis by Piecewise Quadratic Waveform Matching. Zhong Wang, Jianwen Zhu |
| 2003 | Transport Protocol Optimization for Energy Efficient Wireless Embedded Systems. Davide Bertozzi, Anand Raghunathan, Luca Benini, Srivaths Ravi |
| 2003 | Ubiquitous Access to Reconfigurable Hardware: Application Scenarios and Implementation Issues. Leandro Soares Indrusiak, Florian Lubitz, Ricardo Augusto da Luz Reis, Manfred Glesner |
| 2003 | Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol. Abhik Roychoudhury, Tulika Mitra, S. R. Karri |
| 2003 | Using RTL Statespace Information and State Encoding for Induction Based Property Checking. Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
| 2003 | Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications. Lintao Zhang, Sharad Malik |
| 2003 | Verification of Proofs of Unsatisfiability for CNF Formulas. Evguenii I. Goldberg, Yakov Novikov |
| 2003 | Verification of a Complex SoC: The PRO3 Case-Study. Fotis Andritsopoulos, C. Charopoulos, Gregory Doumenis, Fotis Karoubalis, Yannis Mitsos, F. Petreas, Ioanna Theologitou, Stylianos Perissakis, Dionisios I. Reisis |
| 2003 | Verification of the RF Subsystem within Wireless LAN System Level Simulation. Uwe Knöchel, Thomas Markwirth, Jürgen Hartung, Ralf Kakerow, Radhakrishna Atukula |
| 2003 | Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric. Petros Oikonomakos, Mark Zwolinski, Bashir M. Al-Hashimi |
| 2003 | Virtual Compression through Test Vector Stitching for Scan Based Designs. Wenjing Rao, Alex Orailoglu |
| 2003 | Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems. Sebastian Lange, Udo Kebschull |
| 2003 | Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev |
| 2003 | XBM2PLA: A Flexible Synthesis Tool for Extended Burst Mode Machines. Oliver Kraus, Martin Padeffke |