tests/clocks/dff_two_clocks/golden.model.xml

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