Sciweavers

Share
CODES
1999
IEEE

A unified formal model of ISA and FSMD

9 years 10 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor architecture and the ASIC architecture. This framework enables the unified treatment of code generation and behavioral synthesis, and is being used in our experimental codesign environment to drive system-on-a-chip synthesis from an object oriented language.
Jianwen Zhu, Daniel Gajski
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 1999
Where CODES
Authors Jianwen Zhu, Daniel Gajski
Comments (0)
books