Sciweavers

438 search results - page 11 / 88
» date 2009
Sort
View
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
15 years 4 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
133views Hardware» more  DATE 2009»
15 years 4 months ago
Pipelined data parallel task mapping/scheduling technique for MPSoC
—In this paper, we propose a multi-task mapping/scheduling technique for heterogeneous and scalable MPSoC. To utilize the large number of cores embedded in MPSoC, the proposed te...
Hoeseok Yang, Soonhoi Ha
DATE
2009
IEEE
88views Hardware» more  DATE 2009»
15 years 4 months ago
Multi-core for mobile phones
—High-end mobile phones support multiple radio standards and a rich suite of applications, which involves advanced radio, audio, video, and graphics processing. The overall digit...
C. H. van Berkel
59
Voted
DATE
2009
IEEE
78views Hardware» more  DATE 2009»
15 years 4 months ago
QC-Fill: An X-Fill method for quick-and-cool scan test
— In this paper, we present an X-Fill (QC-Fill) method for not only slashing the test time but also reducing the test power (including both capture power and shifting power). QC-...
Chao-Wen Tzeng, Shi-Yu Huang
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
15 years 4 months ago
DPR in high energy physics
The Active Buffer project is part of the CBM (compressed baryonic matter) experiment and takes advantage of the DPR (dynamic partial reconfiguration) technology, in which a dynam...
Wenxue Gao, Andreas Kugel, Reinhard Männer, N...