blob: fcf775b2cbb28f0e75935b68de6f67353e5728e9 [file]
/*
* `output wire clk` should be detected as a clock despite this being a black
* box module.
*/
(* whitebox *)
module BLOCK(a, b, clk);
input wire a;
input wire b;
output wire clk;
endmodule