Combinational circuits--Verification

found: Work cat.: Kuehlmann, A. Equivalence checking using cuts and heaps, 1996:p. 1 (This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. ... Most approaches to combinational circuit verification can be classified into two fundamental categories)

found: OCLC, Jan. 19, 2007(titles: Verification of combinational circuits using conjunctively decomposed implications; Study of timing verification and timing optimization of combinational circuits; Application of functional learning to ATPG and design verification for combinational circuits)