mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-13 12:28:44 +00:00
1070f2e90b
Problems/questions: - fsm.ys. equiv_opt -assert failed because of unproven cells; - latches.ys,tribuf.ys - internal cells present; - memory.ys - sat called with -verify and proof did fail.
23 lines
284 B
Verilog
23 lines
284 B
Verilog
module top (
|
|
out,
|
|
clk,
|
|
in
|
|
);
|
|
output [7:0] out;
|
|
input signed clk, in;
|
|
reg signed [7:0] out = 0;
|
|
|
|
always @(posedge clk)
|
|
begin
|
|
`ifndef BUG
|
|
out <= out >> 1;
|
|
out[7] <= in;
|
|
`else
|
|
|
|
out <= out << 1;
|
|
out[7] <= in;
|
|
`endif
|
|
end
|
|
|
|
endmodule
|