aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat
diff options
context:
space:
mode:
authorR. Ou <rqou@robertou.com>2020-03-02 01:06:03 -0800
committerR. Ou <rqou@robertou.com>2020-03-02 01:07:15 -0800
commitb9c98e010039ca0cf9b8944feb49220a82fc5e74 (patch)
treeed2198b5afee54fcd801086e9cc235ae80b04483 /tests/sat
parenta6180048970802a4b8726a2a8d6abcbb4aebc942 (diff)
downloadyosys-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/sat')
0 files changed, 0 insertions, 0 deletions