Sciweavers

217 search results - page 15 / 44
» System-Level Modeling and Verification: a Comprehensive Desi...
Sort
View
97
Voted
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 5 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
IV
2008
IEEE
112views Visualization» more  IV 2008»
15 years 6 months ago
Directions for Methodological Research in Information Visualization
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
Brock Craft, Paul A. Cairns
DATE
2003
IEEE
140views Hardware» more  DATE 2003»
15 years 5 months ago
Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
Franco Carbognani, Christopher K. Lennard, C. Norr...
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
15 years 6 months ago
Virtual prototyping of embedded platforms for wireless and multimedia
Most of the challenges related to the development of multi-processor platforms for complex wireless and multimedia applications fall into the Electronic System Level (ESL) domain....
Tim Kogel, Matthew Braun
FMCAD
2006
Springer
15 years 4 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar