diff options
author | R. Ou <rqou@robertou.com> | 2020-03-02 01:06:03 -0800 |
---|---|---|
committer | R. Ou <rqou@robertou.com> | 2020-03-02 01:07:15 -0800 |
commit | b9c98e010039ca0cf9b8944feb49220a82fc5e74 (patch) | |
tree | ed2198b5afee54fcd801086e9cc235ae80b04483 /tests/sva | |
parent | a6180048970802a4b8726a2a8d6abcbb4aebc942 (diff) | |
download | yosys-b9c98e010039ca0cf9b8944feb49220a82fc5e74.tar.gz yosys-b9c98e010039ca0cf9b8944feb49220a82fc5e74.tar.bz2 yosys-b9c98e010039ca0cf9b8944feb49220a82fc5e74.zip |
coolrunner2: Fix invalid multiple fanouts of XOR/OR gates
In some cases where multiple output pins share identical combinatorial
logic, yosys would only generate one $sop cell and therefore one
MACROCELL_XOR cell to try to feed the multiple sinks. This is not valid,
so make the fixup pass duplicate cells when necessary. For example,
fixes the following code:
module top(input a, input b, input clk_, output reg o, output o2);
wire clk;
BUFG bufg0 (
.I(clk_),
.O(clk),
);
always @(posedge clk)
o = a ^ b;
assign o2 = a ^ b;
endmodule
Diffstat (limited to 'tests/sva')
0 files changed, 0 insertions, 0 deletions