Open buggsley opened 7 years ago
mul1 no longer completes using -tsys command line. It used to complete and produce the following circuit:
[+m1prech: (m1done & a2m & CSC0)] [+m1prech: (m1done & ~a2m & ~CSC0)] [-m1prech: (~m1done & a1m & a2m)] [-m1prech: (~m1done & CSC0)] [+m1a: (m1done & CSC0)] [-m1a: (m1done & ~CSC0)] [+CSC0: (a2m & ~m1prech)] [-CSC0: (~a2m & ~m1prech)]
mul1 no longer completes using -tsys command line. It used to complete and produce the following circuit:
[+m1prech: (m1done & a2m & CSC0)] [+m1prech: (m1done & ~a2m & ~CSC0)] [-m1prech: (~m1done & a1m & a2m)] [-m1prech: (~m1done & CSC0)] [+m1a: (m1done & CSC0)] [-m1a: (m1done & ~CSC0)] [+CSC0: (a2m & ~m1prech)] [-CSC0: (~a2m & ~m1prech)]