T. Glass
AuthID: R-00G-TTQ
1
TITLE: Combinational equivalence checking using satisfiability and recursive learning
AUTHORS: Marques Silva, J ; Glass, T;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS
AUTHORS: Marques Silva, J ; Glass, T;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS
