Skip to content

Y
yosys-tests
Unverified Commit 944233e0 by Miodrag Milanović Committed by GitHub
Options

Merge pull request #89 from YosysHQ/qbfsat 

Qbfsat
parents 29d19df1 dccd674c
Showing with 1 additions and 1 deletions
misc/qbfsat/qbfsat_solnfile3.ys
...@@ -3,7 +3,7 @@ logger -expect log "Eval result: \\out = 8'00001000." 1 ...@@ -3,7 +3,7 @@ logger -expect log "Eval result: \\out = 8'00001000." 1
read_verilog -formal <<EOT read_verilog -formal <<EOT
module const_mul(out); module const_mul(out);
wire [7:0] h; wire [7:0] h = $anyconst;
output [7:0] out; output [7:0] out;
assign out = h[7]? h[6:0] * 3 : h[6:0] * 4; assign out = h[7]? h[6:0] * 3 : h[6:0] * 4;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment