Sciweavers

FDL
2008
IEEE

RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow

14 years 2 months ago
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from one source, LTL property. We constructed LTL-to-TRS, which is translator from LTL property sets to Bluespec term-rewriting system (TRS) description. And, we use a Bluespec compiler as a synthesizer from TRS to RTL. Also, to match the implementation with the formal specification, we use a VIS solver as a model checker. And then, channel instances generated by proposed design method are transformed into channel template-generators for communication channel library. These channel templates can be used in DSE process in SoC design flow.
Jinhyun Cho, Soonwoo Choi, Soo Chae
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where FDL
Authors Jinhyun Cho, Soonwoo Choi, Soo Chae
Comments (0)