Hardware Reference
In-Depth Information
echo "performing verification ... "
support in_0,in_1,out_0,out_1 x.aut x-supp.aut
product x-supp.aut fixed_supp.aut prod.aut
complete prod.aut prod-com.aut
support in_0,in_1,out_0,out_1 spec.aut spec-supp.aut
complete spec-supp.aut spec-supp-com.aut
check prod-com.aut spec-supp-com.aut
Run the previous script making sure that you understand each operation, and
describe in words the winning strategy
x.aut
synthesized by BALM.
Search WWH ::
Custom Search