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.