Sciweavers

1236 search results - page 27 / 248
» Rapid Prototyping of Embedded Hardware Software Systems
Sort
View
COMPSAC
2007
IEEE
15 years 8 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
IPPS
2005
IEEE
15 years 10 months ago
Analysis of Hardware Acceleration in Reconfigurable Embedded Systems
Embedded designers now have the capability of offloading software routines into custom applicationspecific hardware blocks. This paper evaluates a domain-specific design system fo...
Matthew Ouellette, Daniel A. Connors
EUROMICRO
2007
IEEE
15 years 8 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Juncao Li, Fei Xie, Huaiyu Liu
ICMCS
2005
IEEE
103views Multimedia» more  ICMCS 2005»
15 years 10 months ago
A Virtual Socket Framework for Rapid Emulation of Video and Multimedia Designs
Traditional design and test of complex multimedia systems involves a large number of test vectors and is a difficult and time-consuming task. The simulation times are prohibitivel...
Paul R. Schumacher, Marco Mattavelli, Adrian Chiri...