Register-Transfer Level NMR System Generator

Inhalt:
We present an NMR system generator at the register-transfer level which takes the top module of the unprotected system as an input and generates the complete NMR protected system. An optional input to the generator is the level of the desired redundancy N. If N is not specified, it is assumed to be three. Furthermore, the generator builds the appropriate voter which could be in many flavours. That is, we use our design method for programmable NMR voters with inputs’ state description and self-check capabilities. The user could specify whether the generated voter should be programmable, have additional outputs that describe what is happening at the input side, (e.g., pinpoint the modules that agree) or do self-checking. The generated NMR system is ready for simulation and synthesis by any commercial tool. The generator is written in Perl, for Verilog and SystemVerilog modules.