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