T. Glass
AuthID: R-00G-TTQ
1
TÃTULO: Combinational equivalence checking using satisfiability and recursive learning
AUTORES: Marques Silva, J ; Glass, T;
PUBLICAÇÃO: 1999, FONTE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS
AUTORES: Marques Silva, J ; Glass, T;
PUBLICAÇÃO: 1999, FONTE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS
