Sciweavers

DATE
2002
IEEE
108views Hardware» more  DATE 2002»
14 years 4 months ago
Networks on Silicon: Combining Best-Effort and Guaranteed Services
We advocate a network on silicon (NOS) as a hardware architecture to implement communication between IP cores in future technologies, and as a software model in the form of a prot...
Kees G. W. Goossens, Paul Wielage, Ad M. G. Peeter...
DATE
2002
IEEE
113views Hardware» more  DATE 2002»
14 years 4 months ago
BerkMin: A Fast and Robust Sat-Solver
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
Evguenii I. Goldberg, Yakov Novikov
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
14 years 4 months ago
E-Design Based on the Reuse Paradigm
This paper gives an overview on a Virtual electronic component or IP (Intellectual Property) exchange infrastructure whose main components are a XML "well structured IP e-cat...
L. Ghanmi, A. Ghrab, M. Hamdoun, B. Missaoui, K. S...
DATE
2002
IEEE
81views Hardware» more  DATE 2002»
14 years 4 months ago
Single-Track Asynchronous Pipeline Templates Using 1-of-N Encoding
This paper presents a new fast and templatized family of fine-grain asynchronous pipeline stages based on the single-track protocol. No explicit control wires are required outside...
Marcos Ferretti, Peter A. Beerel
DATE
2002
IEEE
105views Hardware» more  DATE 2002»
14 years 4 months ago
Functional Verification for SystemC Descriptions Using Constraint Solving
Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
DATE
2002
IEEE
94views Hardware» more  DATE 2002»
14 years 4 months ago
Problems Due to Open Faults in the Interconnections of Self-Checking Data-Paths
In this work, the problem of open faults affecting the interconnections of SC circuits composed by data-path and control is analyzed. In particular, it is shown that, in case open...
Michele Favalli, Cecilia Metra
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
14 years 4 months ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green
DATE
2002
IEEE
101views Hardware» more  DATE 2002»
14 years 4 months ago
Embedded Robustness Ips
Eric Dupont, Michael Nicolaidis, Peter Rohr
DATE
2002
IEEE
84views Hardware» more  DATE 2002»
14 years 4 months ago
An Environment for Dynamic Component Composition for Efficient Co-Design
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupt...