A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
We are not experts in circuit design and hence the application is limited to the cases provided in the TTC'2019 call for solutions. • We provide transformation rules written in a formal language which is assisted by automated reasoning tools; and hence we believe that domain experts may be attracted by our solution. Indeed, translating a truth table (TT) into a binary decision diagram (BDD), has several applications in safety critical systems where formal methods became a strong requirement.dblp:conf/staf/IdaniVL19 fatcat:24ojfnfrwbgrtd7edvjnf5jejq