<models xmlns:xi="http://www.w3.org/2001/XInclude">
  <model name="FF">
    <input_ports>
      <port clock="clk" name="D"/>
      <port clock="clk" name="E"/>
      <port clock="clk" name="R"/>
      <port clock="clk" name="S"/>
      <port is_clock="1" name="clk"/>
    </input_ports>
    <output_ports>
      <port clock="clk" name="Q"/>
    </output_ports>
  </model>
</models>