Browse

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

Cited 0 time in Web of Science Cited 0 time in Scopus
Authors
Cho, Jinhyun; Choi, Soonwoo; Chae, Soo-Ik
Issue Date
2008-09
Publisher
IEEE
Citation
Forum on specification and Design Languages 2008, pp.251-252
Abstract
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.
Language
English
URI
http://hdl.handle.net/10371/62289
Files in This Item:
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Electrical and Computer Engineering (전기·정보공학부)Others_전기·정보공학부
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse