ProfileOfResearchers

Document Source:

Document Type:

Year Start - End:

Order:

Results:

TÃTULO: Satisfiability models and algorithms for circuit delay computation Full Text
AUTORES: Silva, LGE ; Marques Silva, J ; Silveira, L. Miguel ; Sakallah, KA;
PUBLICAÇÃO: 2002, FONTE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 7, NÚMERO: 1

INDEXADO EM:

Scopus

WOS

DBLP

Unpaywall

NO MEU:

ORCID

TÃTULO: Realistic delay modeling in satisfiability-based timing analysis
AUTORES: Silva, LG ; Silva, JPM ; Silveira, L. Miguel ; Sakallah, KA;
PUBLICAÇÃO: 1998, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS 98) in ISCAS '98 - PROCEEDINGS OF THE 1998 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-6

INDEXADO EM:

WOS

NO MEU:

ORCID

Página 2 de 2. Total de resultados: 12.

Links Úteis