Sciweavers

DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 2 months ago
Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...
Marco Caldari, Massimo Conti, Massimo Coppola, Ste...
DATE
2003
IEEE
108views Hardware» more  DATE 2003»
14 years 2 months ago
System-Level Power Analysis Methodology Applied to the AMBA AHB Bus
The specification on power consumption of a digital system is extremely important due to the growing relevance of the market of portable devices and must be taken into account sin...
Marco Caldari, Massimo Conti, Massimo Coppola, Pao...
DATE
2003
IEEE
120views Hardware» more  DATE 2003»
14 years 2 months ago
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
Massimo Bombana, Francesco Bruschi
DATE
2003
IEEE
100views Hardware» more  DATE 2003»
14 years 2 months ago
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
DATE
2003
IEEE
94views Hardware» more  DATE 2003»
14 years 2 months ago
A Lightweight Approach for Embedded Reconfiguration of FPGAs
Brandon Blodget, Scott McMillan, Patrick Lysaght
DATE
2003
IEEE
84views Hardware» more  DATE 2003»
14 years 2 months ago
Interconnect Planning with Local Area Constrained Retiming
We present a framework that considers global routing, repeater insertion, and flip-flop relocation for early interconnect planning. We formulate the interconnect retiming and ...
Ruibing Lu, Cheng-Kok Koh
DATE
2003
IEEE
76views Hardware» more  DATE 2003»
14 years 2 months ago
Library Functions Timing Characterization for Source-Level Analysis
Execution time estimation of software at source-level is nowadays a crucial phase of the system design flow, especially for portable devices and real-time systems. From a source-...
Carlo Brandolese, William Fornaciari, Fabio Salice...
DATE
2003
IEEE
122views Hardware» more  DATE 2003»
14 years 2 months ago
Synthesis of Complex Control Structures from Behavioral SystemC Models
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
Francesco Bruschi, Fabrizio Ferrandi
DATE
2003
IEEE
96views Hardware» more  DATE 2003»
14 years 2 months ago
Transport Protocol Optimization for Energy Efficient Wireless Embedded Systems
Davide Bertozzi, Anand Raghunathan, Luca Benini, S...
DATE
2003
IEEE
104views Hardware» more  DATE 2003»
14 years 2 months ago
A P1500-Compatible Programmable BIST Approach for the Test of Embedded Flash Memories
In this paper we present a microprocessor-based approach suitable for embedded flash memory testing in a System-on-achip (SOC) environment. The main novelty of the approach is the...
Paolo Bernardi, Maurizio Rebaudengo, Matteo Sonza ...