Using C# attributes to describe hardware artefacts within kiwi

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 i...

Full description

Saved in:
Bibliographic Details
Published in2008 Forum on Specification, Verification and Design Languages pp. 239 - 240
Main Authors Greaves, D., Singh, S.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2008
Subjects
Clocks
Hardware
Hardware design languages
Program processors
Protocols
Software
Synchronization
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9781424422647
1424422647
DOI:10.1109/FDL.2008.4641454