Export Citations
1 Results for: Keyword: SystemC program
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,856,208 records)|Limit your search to The ACM Full-Text Collection (778,683 records)
Select All
- ArticleJuly 2005
Formal verification of SystemC by automatic hardware/software partitioning
MEMOCODE '05: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-DesignPages 101–110https://doi.org/10.1109/MEMCOD.2005.1487900Variants of general-purpose programming languages, like SystemC, are increasingly used to specify system designs that have both hardware and software parts. The system-level languages allow a flexible partitioning in the design of the hardware and ...