R. K. Brayton

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

ABC: An Academic Industrial-Strength Verification Tool

R. K. Brayton and others (2010) · Springer Berlin Heidelberg

Testing language containment for omega-automata using BDDs

H. J. Touati and others (1991) · IMEC-IFIP International Workshop on Formal Methods in VLSI Design, Miami

Implicit state enumeration of finite state machines using BDD's

H. J. Touati and others (1990) · IEEE Comput. Soc. Press

Efficient algorithms for computing the longest viable path in a combinational network

P. C. McGeer and others (1989) · ACM Press

The decomposition and factorization of Boolean expressions

R. K. Brayton and others (1982) · Proceedings of the International Symposium on Circuits and Systems · IEEE