Using C# Attributes to Describe Hardware Artefacts within Kiwi.

被引：5

作者：

Greaves, David ^{[1
]}

Singh, Satnam ^{[2
]}

机构：

[1] Univ Cambridge, Comp Lab, Cambridge CB3 0FD, England

[2] Microsoft Res Cambridge, Cambridge CB3 0FB, England

来源：

2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES | 2008年

关键词：

D O I：

10.1109/FDL.2008.4641454

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The Kiwi system is targeted at making reconfigurable computing technology accessible to software engineers that are willing to express their computations as parallel programs. Our kiwic compiler takes NET assembly language with suitable custom attributes as input and produces Verilog output which is mapped to FPGAs. In this brief paper we describe attributes used to mark up I/O nets, embed assertions, and for other purposes.

引用

页码：239 / +

页数：2