Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ICCAD
1999
IEEE

favoriteEmaildiscussreport

54views Hardware» more ICCAD 1999»

Synchronous equivalence for embedded systems: a tool for design exploration

13 years 9 months ago

Synchronous equivalence for embedded systems: a tool for design exploration

Download bwrc.eecs.berkeley.edu

Harry Hsieh, Felice Balarin

Real-time Traffic

Hardware | ICCAD 1999 |

claim paper

Related Content

» A Compositional Semantic Theory for Synchronous Componentbased Design

» Discrete Event System Specification DEVS and StateMate StateCharts Equivalence for Embedde...

» ModelDriven DesignSpace Exploration for Embedded Systems The Octopus Toolset

» ipChinook an Integrated IPbased Design Framework for Distributed Embedded Systems

» Leveraging synchronous language principles for heterogeneous modeling and design of embedd...

» Synchronization after design refinements with sensitive delay elements

» Embedded Architect A Tool for Early Performance Evaluation of Embedded Software

» Design Exploration and HWSW Rapid Prototyping for RealTime System Design

» Visualization of Computer Architecture Simulation Data for SystemLevel Design Space Explor...

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	ICCAD
Authors	Harry Hsieh, Felice Balarin

Comments (0)