| Publication Type | Conference Paper | |
| Year of Publication | 2007 | |
| Authors | Ng, Man Cheuk; Vijayaraghavan, Muralidaran; Raghavan, Gopal; Dave, Nirav; Hicks, Jamey; Arvind, | |
| Conference Name | Proceedings of Formal Methods and Models for Codesign (MEMOCODE) | |
| Conference Location | Nice,~France |
