![](/img/cover-not-exists.png)
[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design
Patel, H.D., Shukla, S.K., Mednick, E., Nikhil, R.S.Year:
2006
Language:
english
DOI:
10.1109/memcod.2006.1695899
File:
PDF, 217 KB
english, 2006