Aumentando a eficiência da verificação dinâmica de propriedades em sistemas descritos em alto nível de abstração por meio da utilização de funções de classificação heurística derivadas das propriedades do sistema
=== Over the last decade, the integrated circuit (IC) production ow has gradually shifted from design centric to verification centric, as the design methodologies, tools and techniques evolved. It is a well known fact that on the modern IC design cycle more than 70% of the total development resourc...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2012
|
| Online Access: | http://hdl.handle.net/1843/BUOS-95GRM9 |