Sciweavers

1518 search results - page 39 / 304
» Rapid Embedded Hardware Software System Generation
Sort
View
FDL
2007
IEEE
15 years 8 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
RSP
2002
IEEE
121views Control Systems» more  RSP 2002»
15 years 7 months ago
Rapid Prototyping of Transition Management Code for Reconfigurable Control Systems
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
M. Guler, S. Clements, N. Kejriwal, L. Wills, B. H...
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 6 months ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
ASPDAC
2007
ACM
130views Hardware» more  ASPDAC 2007»
15 years 6 months ago
Configurable Multi-Processor Platforms for Next Generation Embedded Systems
- Next-generation embedded systems in application domains such as multimedia, wired and wireless communications, and multipurpose portable devices, are increasingly turning to mult...
David Goodwin, Chris Rowen, Grant Martin
CASES
2008
ACM
15 years 4 months ago
Cache-aware cross-profiling for java processors
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...
Walter Binder, Alex Villazón, Martin Schoeb...