Luís Jorge Brás Monteiro Guerra e Silva


AuthID: R-000-9HS

Confirmed Publications: 12



11
TITLE: Satisfiability models and algorithms for circuit delay computation  Full Text
AUTHORS: Silva, LGE ; Marques Silva, J ; Silveira, L. Miguel ; Sakallah, KA;
PUBLISHED: 2002, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 7, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
12
TITLE: Realistic delay modeling in satisfiability-based timing analysis
AUTHORS: Silva, LG ; Silva, JPM ; Silveira, L. Miguel ; Sakallah, KA;
PUBLISHED: 1998, SOURCE: 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
INDEXED IN: WOS
Page 2 of 2. Total results: 12.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service