Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
Function Manipulation,” in which he introduced Reduced Ordered Binary Decision Diagrams (ROBDDs). Bryant’s contribution was in defining the structure and demonstrating how BDDs could be used in practice, particularly in the design and verification of digital circuits. What are Binary Decision