Multiway decision graphs and their applications in automatic formal verification of rtl designs

Term ordering problem on MDG

Proceedings of the 12th ACM Great Lakes symposium on VLSI

Comparing HOL and MDG: a case study on the verification of an ATM switch fabric

Nordic Journal of Computing

Formal verification of ASMs using MDGs

Journal of Systems Architecture: the EUROMICRO Journal

A New Approach for the Construction of Multiway Decision Graphs

Proceedings of the 5th international colloquium on Theoretical Aspects of Computing

NuMDG: a new tool for multiway decision graphs construction

Journal of Computer Science and Technology - Special issue on natural language processing