Unverified Commit dccd674c by Miodrag Milanović Committed by GitHub

Merge pull request #88 from boqwxp/qbfsat_fixes

Ensure the variable to be specialized is assigned an `$anyconst` cell.
parents c44bd276 1cde2f6a
......@@ -3,7 +3,7 @@ logger -expect log "Eval result: \\out = 8'00001000." 1
read_verilog -formal <<EOT
module const_mul(out);
wire [7:0] h;
wire [7:0] h = $anyconst;
output [7:0] out;
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