79
Voted
FDL
2008
IEEE
15 years 16 days 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...