3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 18:05:24 +00:00

abc9: aAdd test to check $_NOT_s are absorbed

This commit is contained in:
Eddie Hung 2020-01-15 14:36:05 -08:00
parent 05c8858a90
commit 5918ede9bd

View file

@ -38,3 +38,15 @@ abc9 -lut 4
design -load gold
scratchpad -copy abc9.script.flow3 abc9.script
abc9 -lut 4
design -reset
read_verilog -icells <<EOT
module top(input a, b, output o);
assign o = ~(a & b);
endmodule
EOT
abc9 -lut 4
clean
select -assert-count 1 t:$lut
select -assert-none t:$lut t:* %D