Sciweavers

DATE
2009
IEEE
194views Hardware» more  DATE 2009»
14 years 3 months ago
A UML frontend for IP-XACT-based IP management
—IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these description...
Tim Schattkowsky, Tao Xie, Wolfgang Mueller
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 3 months ago
Successful attack on an FPGA-based WDDL DES cryptoprocessor without place and route constraints
In this paper, we propose a preprocessing method to improve Side Channel Attacks (SCAs) on Dual-rail with Precharge Logic (DPL) countermeasure family. The strength of our method i...
Laurent Sauvage, Sylvain Guilley, Jean-Luc Danger,...
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
14 years 3 months ago
Scalable liveness checking via property-preserving transformations
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
Jason Baumgartner, Hari Mony
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
14 years 3 months ago
Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC
—In this paper we present an adaptive technique to locally adjust the frequency of processing elements on MP-SoC. The proposed method, based on Game Theory, optimizes the system ...
Diego Puschini, Fabien Clermidy, Pascal Benoit, Gi...
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
14 years 3 months ago
A power-efficient migration mechanism for D-NUCA caches
D-NUCA L2 caches are able to tolerate the increasing wire delay effects due to technology scaling thanks to their banked organization, broadcast line search and data promotion/dem...
Alessandro Bardine, Manuel Comparetti, Pierfrances...
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
14 years 3 months ago
MTJ-based nonvolatile logic-in-memory circuit, future prospects and issues
—Nonvolatile logic-in-memory architecture, where nonvolatile memory elements are distributed over a logic-circuit plane, is expected to realize both ultra-low-power and reduced i...
Shoun Matsunaga, Jun Hayakawa, Shoji Ikeda, Katsuy...
DATE
2009
IEEE
101views Hardware» more  DATE 2009»
14 years 3 months ago
Speeding up model checking by exploiting explicit and hidden verification constraints
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marc...
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
14 years 3 months ago
A scalable method for the generation of small test sets
This paper presents a scalable method to generate close to minimal size test pattern sets for stuck-at faults in scan based circuits. The method creates sets of potentially compat...
Santiago Remersaro, Janusz Rajski, Sudhakar M. Red...