mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-27 01:39:23 +00:00
28 lines
510 B
Text
28 lines
510 B
Text
read_verilog <<EOF
|
|
module test(clk, a, b, y);
|
|
input wire clk;
|
|
input wire [9:0] a;
|
|
input wire [6:0] b;
|
|
output wire [20:0] y;
|
|
|
|
assign y = a * b;
|
|
endmodule
|
|
EOF
|
|
booth
|
|
sat -verify -set a 0 -set b 0 -prove y 0
|
|
|
|
design -reset
|
|
test_cell -s 1694091355 -n 100 -script booth_map_script.ys_ $mul
|
|
|
|
design -reset
|
|
read_verilog <<EOF
|
|
module top(a,b,y);
|
|
input wire [4:0] a;
|
|
input wire [5:0] b;
|
|
output wire [6:0] y;
|
|
assign y = a * b;
|
|
endmodule
|
|
EOF
|
|
synth -run :fine
|
|
# test compatibility with alumacc
|
|
equiv_opt -assert booth
|