mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

tests: aiger test for wire->start_offset != 0

Browse source
This commit is contained in:
Eddie Hung 2020-05-02 09:56:10 -07:00
parent a0afa1787e
commit 2e78daf1ca
2 changed files with 41 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

36
tests/aiger/neg.ys Normal file
View file

@ -0,0 +1,36 @@
read_verilog <<EOT
module top(input [31:-32] a, input [-65:-128] b, output [128:65] c);
assign c = a & b;
endmodule
EOT
select -assert-count 1 i:a
select -assert-count 1 i:b
select -assert-count 1 o:c
select -assert-count 3 x:* s:64 %i
design -save read
!rm -rf neg.out
!mkdir neg.out
simplemap
write_aiger -map neg.out/neg.map neg.out/neg.aig
design -reset
read_aiger -wideports -map neg.out/neg.map neg.out/neg.aig
select -assert-count 1 i:a
select -assert-count 1 i:b
select -assert-count 1 o:c
select -assert-count 3 x:* s:64 %i
design -load read
!rm -rf neg.out
!mkdir neg.out
simplemap
write_xaiger -map neg.out/neg.map neg.out/neg.aig
design -reset
read_aiger -wideports -map neg.out/neg.map neg.out/neg.aig
select -assert-count 1 i:a
select -assert-count 1 i:b
select -assert-count 1 o:c
select -assert-count 3 x:* s:64 %i

5
tests/aiger/run-test.sh
View file

@ -52,3 +52,8 @@ miter -equiv -flatten -make_assert -make_outputs gold gate miter
sat -verify -prove-asserts -show-ports -seq 16 miter sat -verify -prove-asserts -show-ports -seq 16 miter
" -l ${aig}.log " -l ${aig}.log
done done
for y in *.ys; do
echo "Running $y."
../../yosys $y -ql ${y%.*}.log
done