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 is mapped to FPGAs. In this

brief paper, we discuss the attributes we are using to mark up I/O nets and embed assertions.

In  Specification and Design Languages Forum (FDL) 2008.

Publisher  IEEE Computer Society
Copyright © 2007 IEEE. Reprinted from IEEE Computer Society. This material is posted here with permission of the IEEE. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Details

TypeProceedings
> Publications > Using C# Attributes to Describe Hardware Artefacts within Kiwi