Model refinement for hardware-software codesign

Jie Gong, Daniel Gajski, Smita Bakshi. Model refinement for hardware-software codesign. ACM Trans. Design Autom. Electr. Syst., 2(1):22-41, 1997. [doi]

Abstract

Abstract is missing.