Formal Analysis of Integer Multipliers by building Binary Decision Diagram of Adder Trees.

Jitendra Kumar Asutosh Srivastava Masahiro Fujita

Published in: ISQED (2022)

Keyphrases

formal analysis
binary decision diagrams
formal methods
agent model
pseudo boolean constraints
knowledge acquisition
tree structure
boolean functions
decision diagrams