<?xml version="1.0"?>
<models>
  <model name="BLOCK">
    <input_ports>
      <port clock="c1" combinational_sink_ports="o1" name="a"/>
      <port clock="c2 c1" combinational_sink_ports="o2 o1" name="b"/>
      <port clock="c2" combinational_sink_ports="o2" name="c"/>
      <port is_clock="1" name="c1"/>
      <port is_clock="1" name="c2"/>
    </input_ports>
    <output_ports>
      <port clock="c1" name="o1"/>
      <port clock="c2" name="o2"/>
    </output_ports>
  </model>
</models>