Um modelo estatístico multivariado para prever o comportamento de heurísticas em verificação formal
=== Functional verification is the major design-phase bottleneck for silicon productivity. Since functional verification is an NP-complete problem, it relies on a large number of heuristics with associated parameters (engines). With the advent of parallel processing, formal verification can be opti...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2011
|
| Online Access: | http://hdl.handle.net/1843/RVMR-8PHG73 |