Search Sciweavers | Sciweavers

217 search results - page 1 / 44

» POSIX modeling in SystemC

click to vote

ASPDAC
2006
ACM

131views Hardware» more ASPDAC 2006»

POSIX modeling in SystemC

14 years 1 months ago

Download www.cecs.uci.edu

- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...

Hector Posadas, Jesús Ádamez, Pablo ...

claim paper

Read More »

click to vote

DAC
2011
ACM

159views Computer Architecture» more DAC 2011»

Extracting behavior and dynamically generated hierarchy from SystemC models

12 years 7 months ago

Download ens.ewi.tudelft.nl

SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...

Harry Broeders, René van Leuken

claim paper

Read More »

click to vote

DATE
2003
IEEE

140views Hardware» more DATE 2003»

Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard

14 years 12 days ago

Download www.date-conference.com

ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...

Franco Carbognani, Christopher K. Lennard, C. Norr...

claim paper

Read More »

click to vote

MEMOCODE
2006
IEEE

81views Formal Methods» more MEMOCODE 2006»

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

14 years 1 months ago