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