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

Supercell creation for $div/$mod worked all along, fixed test benches

This commit is contained in:
Clifford Wolf 2014-07-20 18:54:06 +02:00
parent 7a6d578b81
commit e9506bb2da
3 changed files with 3 additions and 8 deletions

View file

@ -46,5 +46,5 @@ for idx in range(100):
print('rename uut_%05d gate' % idx)
print('share -aggressive gate')
print('miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp gold gate miter')
print('sat -verify -prove trigger 0 -show-inputs -show-outputs miter')
print('sat -set-def-inputs -verify -prove trigger 0 -show-inputs -show-outputs miter')

View file

@ -21,9 +21,8 @@ if ! ../../yosys -q -l log_test_share/$n.out - 2> /dev/null <<- EOT
share -aggressive
cd ..
miter -equiv -ignore_gold_x -make_outputs -make_outcmp gold work miter
flatten miter
sat -verify -prove trigger 0 -show-inputs -show-outputs miter
miter -equiv -flatten -ignore_gold_x -make_outputs -make_outcmp gold work miter
sat -set-def-inputs -verify -prove trigger 0 -show-inputs -show-outputs miter
EOT
then
log_fail test_share $n