Volgen
Luis Guerra e Silva
Luis Guerra e Silva
INESC-ID, Instituto Superior Técnico, ULisbon
Geverifieerd e-mailadres voor inesc-id.pt
Titel
Geciteerd door
Geciteerd door
Jaar
Algorithms for solving boolean satisfiability in combinational circuits
L Guerra e Silva, LM Silveira, J Marques-Silva
Proceedings of the conference on Design, automation and test in Europe, 107-es, 1999
751999
Satisfiability models and algorithms for circuit delay computation
LG e Silva, J Marques-Silva, LM Silveira, KA Sakallah
ACM Transactions on Design Automation of Electronic Systems 7 (1), 137-158, 2002
422002
Timing analysis using propositional satisfiability
LG Silva, JM Silva, LM Silveira, KA Skallah
1998 IEEE International Conference on Electronics, Circuits and Systems …, 1998
381998
Solving satisfiability in combinational circuits
J Marques-Silva, LG e Silva
IEEE Design & Test of Computers 20 (4), 16-21, 2003
312003
Efficient computation of the worst-delay corner
LG e Silva, LM Silveira, JR Phillips
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
262007
Solving satisfiability in combinational circuits with backtrack search and recursive learning
JP Marques-Silva, LG e Silva
Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat …, 1999
261999
Realistic delay modeling in satisfiability-based timing analysis
LG e Silva, JPM Silva, LM Silveira, KA Sakallah
ISCAS'98. Proceedings of the 1998 IEEE International Symposium on Circuits …, 1998
261998
TAU 2013 variation aware timing analysis contest
D Sinha, L Guerra e Silva, J Wang, S Raghunathan, D Netrabile, ...
Proceedings of the 2013 ACM International symposium on Physical Design, 171-178, 2013
102013
Branch and bound techniques for computation of critical timing conditions
LG e Silva, LM Silveira, J Phillips
US Patent 8,245,167, 2012
102012
Variation-aware, library compatible delay modeling strategy
LGE Silva, Z Zhu, JR Phillips, LM Silveira
2006 IFIP International Conference on Very Large Scale Integration, 122-127, 2006
92006
Effective corner-based techniques for variation-aware IC timing verification
LG e Silva, J Phillips, LM Silveira
IEEE transactions on computer-aided design of integrated circuits and …, 2009
62009
Branch and bound techniques for computation of critical timing conditions
LG e Silva, LM Silveira, J Phillips
US Patent 8,799,840, 2014
52014
Satisfiability models and algorithms for circuit delay computation
L Guerra e Silva, J Marques-Silva, LM Silveira, KA Sakallah
ACM Transactions on Design Automation of Electronic Systems (TODAES) 7 (1 …, 2002
42002
Análise de variáveis antropométricas e de desempenho motor de atletas femininas participantes do campeonato brasileiro das ligas de judô
EA CASTRO, RAF Venâncio, PHS Meloni, LE SILVA, LA Doimo
Coleção Pesquisa em Educação Física, Jundiaí 6, 2007
32007
EUROPULS: NEUROmorphic energy-efficient secure accelerators based on Phase change materials aUgmented siLicon photonicS
F Pavanello, C Marchand, I O’Connor, R Orobtchouk, F Mandorlo, ...
2023 IEEE European Test Symposium (ETS), 1-6, 2023
22023
Seasonal and deep groundwater‐surface water interactions in the tropical Middle Magdalena River basin of Colombia
A Piña, LD Donado, L Silva, J Pescador
Hydrological Processes 36 (11), e14764, 2022
22022
Improving SAT solver efficiency using a multi-core approach
R Marques, LG Silva, P Flores, LM Silveira
The Twenty-Sixth International FLAIRS Conference, 2013
22013
Speedpath analysis under parametric timing models
L Guerra e Silva, JR Phillips, LM Silveira
Proceedings of the 47th Design Automation Conference, 268-273, 2010
22010
Library compatible variational delay computation
LG Silva, Z Zhu, JR Phillips, LM Silveira
VLSI-SoC: Research Trends in VLSI and Systems on Chip: Fourteenth …, 2008
22008
Handling intra-die variations in PSTA
L Guerra e Silva, LM Silveira
Proceedings of the 21st edition of the great lakes symposium on Great lakes …, 2011
12011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20