+ interface tck = interface Get
+ method ActionValue#(Bit#(1)) get;
+ return 'b1; //#def_clk;
+ endmethod
+ endinterface;
+
+ interface tdo = interface Get
+ method ActionValue#(Bit#(1)) get;
+ return crossed_output_tdo;
+ endmethod
+ endinterface;
+