Sciweavers

15254 search results - page 147 / 3051
» A k
Sort
View
ICCAD
2006
IEEE
111views Hardware» more  ICCAD 2006»
16 years 3 months ago
An efficient technique for synthesis and optimization of polynomials in GF(2m)
Abusaleh M. Jabir, Dhiraj K. Pradhan, Jimson Mathe...
ICCAD
2006
IEEE
113views Hardware» more  ICCAD 2006»
16 years 3 months ago
A framework for statistical timing analysis using non-linear delay and slew models
Sarvesh Bhardwaj, Praveen Ghanta, Sarma B. K. Vrud...
ICCAD
2006
IEEE
119views Hardware» more  ICCAD 2006»
16 years 3 months ago
Automatic memory reductions for RTL model verification
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
ICCAD
2006
IEEE
111views Hardware» more  ICCAD 2006»
16 years 3 months ago
Accelerating high-level bounded model checking
Malay K. Ganai, Aarti Gupta