An EC design based on ORBDD, the input will be 2 Boolean functions and results will be ORBDD with Equivalence or Non Equivalence Results
Select a name for your RODBB Equivalence Checker • It includes:
o Ability to enter 2 Boolean Functions to your Engine
o Boolean Function Parser
o ROBDD Constructor
o ROBDD Comparator to result (Proof or Disproof)
o Graphical Creator for results 2 Functions ROBDD and Formal Results about equality/inequality
The following image shows the lines of adding the input to the engine
You can visualize the graph as follows
