10 search results - page 2 / 2 » Transforming Behavioral Specifications to Facilitate Synthes... |
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
ICECCS
2000
IEEE
13 years 9 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
CODES
1996
IEEE
13 years 9 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
RTCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
CODES
2007
IEEE
13 years 9 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...