NaN Gate Synthesis

Installation

Make sure you have yosys installed and can run the pmgen tool. Then, run:

$ make install

This should install the plugin in your Yosys data directory.

Usage

You'll need to load the plugin in Yosys. You can either launch Yosys with:

$ yosys -m nangate

Or you can load it in your synthesis scripts, with:

plugin -i nangate

You can synthesize circuits to NaN gates with the synth_nan command. Read its help message for flags.

You'll want to run synth_nan before you synthesize for a particular target, and you'll want to make sure you don't flatten your design when you end up synthesizing, or else the optimizer will do a good job removing all of the NaN-gate logic and converting it back into pure boolean logic.