Sciweavers

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

74

Voted

ICCAD
1999
IEEE

54views Hardware» more ICCAD 1999»

Synchronous equivalence for embedded systems: a tool for design exploration

15 years 7 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)