NOT gate

This is an NOT gate

/home/docs/checkouts/readthedocs.org/user_builds/python-symbiflow-v2x/checkouts/latest/docs/examples/gates/not/not.sim.v

not.sim.v
19
20
21
22
23
24
25
26
module NOT (
    input  A,
    output Y
);

    assign Y = ~A;

endmodule

The gate model generated by V2X

not.model.xml
<?xml version="1.0"?>
<models>
  <model name="NOT">
    <input_ports>
      <port combinational_sink_ports="Y" name="A"/>
    </input_ports>
    <output_ports>
      <port name="Y"/>
    </output_ports>
  </model>
</models>

The gate pb_type generated by V2X

not.pb_type.xml
<?xml version="1.0"?>
<pb_type xmlns:xi="http://www.w3.org/2001/XInclude" blif_model=".subckt NOT" name="NOT" num_pb="1">
  <input name="A" num_pins="1"/>
  <output name="Y" num_pins="1"/>
</pb_type>