Unsupported Verilog-2005 Features The following Verilog-2005 features are not supported by Yosys and there are currently no plans to add support for them: • Non-synthesizable language features as defined in IEC 62142(E):2005 / IEEE Std. 1364.1(E):2002 • The

tri

,

triand

and

trior

net types • The

config

and

disable

keywords and library map files