Do NaN synthesis pattern matching via attributes

[nan-gate] / example / example.ys

plugin -i nangate.so
read_verilog -sv example/example.sv
synth_nan -top hello
show hello
# synth_ice40 -noflatten -top hello