Biblioteca Digital de Teses e Dissertações da UFRGS 1 Biblioteca Digital de Teses e Dissertações da USP 1

De Bona, Glauber 1 Guntzel, Jose Luis Almada 1

Reis, Ricardo Augusto da Luz 1

Tese 1 Dissertação 1

Inglês 1 Português 1

Análise : Timing 1 Cad : Microeletronica 1 Microeletrônica 1 Portas logicas 1 Turing reduction 1 lógica probabilística 1 Mais ... phase transition 1 polynomial reduction 1 probabilistic logic 1 probabilistic satisfiability (PSAT) 1 redução de Turing 1 redução polinomial 1 satisfazibilidade (SAT) 1 satisfazibilidade probabilística (PSAT) 1 satisfiability (SAT) 1 transição de fase 1 Ver todos ... menos ...

Automatic test pattern generation (ATPG) 1 Complex gates 1 Critical delay estimation 1 Design verification of VLSI circuits 1 Functional timing analysis (FTA) 1 Path sensitization problem 1 Mais ... Satisfiability (SAT) 1 Timing analysis 1 Ver todos ... menos ...