Number | Name | Date | Kind |
---|---|---|---|
5331568 | Pixley | Jul 1994 | |
5572535 | Pixley et al. | Nov 1996 | |
5649165 | Jain et al. | Jul 1997 |
Entry |
---|
Masahiro Fujita, et al., "Evaluation and Improvements of Boolean Comparison Method Based on Binary Decision Diagrams", 1988 IEEE, CH2657-5/88, 4 pgs. |
Yusuke Matsunaga, "An Efficient Equivalence Checker for Combinational Circuits", 33rd Design Automation Conf., ACM 0-8979-1-779-0/96/0006, pp. 629-634. |
C. Leonard Berman, et al., "Functional Comparison of Logic Designs for VLSI Circuits", 1989 IEEE, CH2805-0/89/0000/0456, pp. 456-459. |