Layering RTL, SAFL, Handel-C and Bluespec Constructs on Chisel HCL

被引：0

作者：

Greaves, David J. ^{[1
]}

机构：

[1] Univ Cambridge, Comp Lab, Cambridge CB2 1TN, England

来源：

2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE) | 2015年

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Chisel is a hardware construction language that supports a simplistic level of transactional programming via its Decoupled I/O primitives. In this paper we describe extensions that layer popular design paradigms on the Chisel substrate. We include RTL, SAFL-style functional hardware description, Handel-C message passing and Bluespec rules. We then briefly discuss interworking between these design styles.

引用

页码：108 / 117

页数：10