5 Make sure you have `yosys` installed and can run the `pmgen` tool.
12 This should install the plugin in your Yosys data directory.
16 You'll need to load the plugin in Yosys.
17 You can either launch Yosys with:
23 Or you can load it in your synthesis scripts, with:
29 You can synthesize circuits to NaN gates with the `synth_nan` command.
30 Read its help message for flags.
32 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.