blob: a2f8b11565cafe2775b4a4d98dbc4965c6873cf8 [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 INPUT_ATTR_NOT_CLOCK(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