Travelled to:
1 × France
1 × Germany
1 × USA
Collaborated with:
J.R.Phillips L.M.Silveira L.M.Silveira J.P.M.Silva
Talks about:
speedpath (1) algorithm (1) parametr (1) satisfi (1) circuit (1) boolean (1) analysi (1) effici (1) corner (1) comput (1)
Person: Luís Guerra e Silva
DBLP: Silva:Lu=iacute=s_Guerra_e
Contributed to:
Wrote 3 papers:
- DAC-2010-SilvaPS #analysis #modelling #parametricity
- Speedpath analysis under parametric timing models (LGeS, JRP, LMS), pp. 268–273.
- DATE-2007-SilvaSP #performance
- Efficient computation of the worst-delay corner (LGeS, LMS, JRP), pp. 1617–1622.
- DATE-1999-SilvaSM #algorithm #satisfiability
- Algorithms for Solving Boolean Satisfiability in Combinational Circuits (LGeS, LMS, JPMS), pp. 526–530.