It is a university project about checking two netlist are they equivalent or not. If they are equivalent then print ok , if not then not ok. I will provide a manual( in which everything is explained about bdd( binary decision diagram) and a sample running programme , so you can modify in that in your own manner. I have only 3 days to submit it.
Copyright © 2019 | Truelancer.com