Sciweavers

DATE
2003
IEEE
186views Hardware» more  DATE 2003»
14 years 4 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
DATE
2003
IEEE
76views Hardware» more  DATE 2003»
14 years 4 months ago
A Unified Approach for SOC Testing Using Test Data Compression and TAM Optimization
Vikram Iyengar, Anshuman Chandra, Sharon Schweizer...
DATE
2003
IEEE
152views Hardware» more  DATE 2003»
14 years 4 months ago
Synthesis of CMOS Analog Cells Using AMIGO
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
Ramy Iskander, Mohamed Dessouky, Maie Aly, Mahmoud...
DATE
2003
IEEE
88views Hardware» more  DATE 2003»
14 years 4 months ago
Ubiquitous Access to Reconfigurable Hardware: Application Scenarios and Implementation Issues
This paper presents an approach for the integration of reconfigurable hardware and computer applications based on the concept of ubiquitous computing. The goal is to allow a netwo...
Leandro Soares Indrusiak, Florian Lubitz, Ricardo ...
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
14 years 4 months ago
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
Shinya Honda, Hiroaki Takada
DATE
2003
IEEE
77views Hardware» more  DATE 2003»
14 years 4 months ago
Mesh Partitioning Approach to Energy Efficient Data Layout
Sambuddhi Hettiaratchi, Peter Y. K. Cheung
DATE
2003
IEEE
94views Hardware» more  DATE 2003»
14 years 4 months ago
Platform-Based Testbench Generation
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
Renate Henftling, Andreas Zinn, Matthias Bauer, Wo...
DATE
2003
IEEE
106views Hardware» more  DATE 2003»
14 years 4 months ago
Reconfigurable Signal Processing in Wireless Terminals
In this paper, we show the necessity of reconfigurable hardware for data and signal processing in wireless mobile terminals. We first identify the key processing power requirement...
Jürgen Helmschmidt, Eberhard Schüler, Pr...
DATE
2003
IEEE
75views Hardware» more  DATE 2003»
14 years 4 months ago
SAT-Based Techniques in System Synthesis
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality....
Christian Haubelt, Jürgen Teich, Rainer Feldm...