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 | 76 | 1999 |
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 | 42 | 2002 |
Timing analysis using propositional satisfiability LG Silva, JM Silva, LM Silveira, KA Skallah 1998 IEEE International Conference on Electronics, Circuits and Systems …, 1998 | 38 | 1998 |
Solving satisfiability in combinational circuits J Marques-Silva, LG e Silva IEEE Design & Test of Computers 20 (4), 16-21, 2003 | 31 | 2003 |
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 | 27 | 1998 |
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 | 26 | 2007 |
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 | 26 | 1999 |
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 | 10 | 2013 |
Branch and bound techniques for computation of critical timing conditions LG e Silva, LM Silveira, J Phillips US Patent 8,245,167, 2012 | 10 | 2012 |
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 | 9 | 2006 |
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 | 6 | 2009 |
Branch and bound techniques for computation of critical timing conditions LG e Silva, LM Silveira, J Phillips US Patent 8,799,840, 2014 | 5 | 2014 |
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 | 4 | 2002 |
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 | 3 | 2007 |
High-throughput characterization and phenotyping of resistance and tolerance to virus infection in sweetpotato JF Kreuze, DA Ramírez, S Fuentes, H Loayza, J Ninanya, J Rinza, ... Virus Research 339, 199276, 2024 | 2 | 2024 |
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 | 2 | 2023 |
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 | 2 | 2022 |
Improving SAT solver efficiency using a multi-core approach R Marques, LG Silva, P Flores, LM Silveira The Twenty-Sixth International FLAIRS Conference, 2013 | 2 | 2013 |
Speedpath analysis under parametric timing models L Guerra e Silva, JR Phillips, LM Silveira Proceedings of the 47th Design Automation Conference, 268-273, 2010 | 2 | 2010 |
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 | 2 | 2008 |