blob: 856cdd07e1e9b75d94d3674d48fae529399989d1 [file]
/*
* Copyright (C) 2020 The SymbiFlow Authors.
*
* Use of this source code is governed by a ISC-style
* license that can be found in the LICENSE file or at
* https://opensource.org/licenses/ISC
*
* SPDX-License-Identifier: ISC
*/
/*
* `input wire a` should be detected as a clock because it drives the flip
* flop. However, it has the attribute CLOCK set to 0 which should force it
* to be a regular input.
*/
module BLOCK(a, b, c);
(* CLOCK=0 *)
input wire a;
input wire b;
output wire c;
reg r;
always @ ( posedge a ) begin
r <= b;
end
assign c = r;
endmodule