116
click to vote
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
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...