Publicações

Accelerating Mus Extraction with Recursive Model Rotation

AuthID
P-00F-X9A

Author(s)

Belov, A

Silva, JM

Editor(es)

Per Bjesse; Anna Slobodová

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

in International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011 in FMCAD

Páginas: 37-40

Conference

2011 Formal Methods in Computer-Aided Design, Fmcad 2011, Date: 30 October 2011 through 2 November 2011, Location: Austin, TX, Patrocinadores: Centaur Technology;IBM Corp.;Intel Corp.;Jasper Design Automation;NEC Laboratories America, Inc.

Indexing