| Accuracy-guaranteed bit-width optimization DU Lee, AA Gaffar, RCC Cheung, O Mencer, W Luk, GA Constantinides IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 272 | 2006 |
| Unifying bit-width optimisation for fixed-point and floating-point designs AA Gaffar, O Mencer, W Luk 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines …, 2004 | 161 | 2004 |
| Floating-point bitwidth analysis via automatic differentiation AA Gaffar, O Mencer, W Luk, PYK Cheung, N Shirazi 2002 IEEE International Conference on Field-Programmable Technology, 2002 …, 2002 | 143 | 2002 |
| Optimizing hardware function evaluation DU Lee, AA Gaffar, O Mencer, W Luk IEEE Transactions on Computers 54 (12), 1520-1531, 2005 | 96 | 2005 |
| Minibit: bit-width optimization via affine arithmetic DU Lee, AA Gaffar, O Mencer, W Luk Proceedings of the 42nd annual Design Automation Conference, 837-840, 2005 | 85 | 2005 |
| Automating customisation of floating-point designs AA Gaffar, W Luk, PYK Cheung, N Shirazi, J Hwang International Conference on Field Programmable Logic and Applications, 523-533, 2002 | 54 | 2002 |
| Fast word-level power models for synthesis of FPGA-based arithmetic JA Clarke, AA Gaffar, GA Constantinides, PYK Cheung 2006 IEEE International Symposium on Circuits and Systems, 4 pp., 2006 | 31 | 2006 |
| PowerBit-power aware arithmetic bit-width optimization AA Gaffar, JA Clarke, GA Constantinides 2006 IEEE International Conference on Field Programmable Technology, 289-292, 2006 | 21 | 2006 |
| Parameterized logic power consumption models for FPGA-based arithmetic JA Clarke, AA Gaffar, GA Constantinides International Conference on Field Programmable Logic and Applications, 2005 …, 2005 | 21 | 2005 |
| Modeling of glitch effects in FPGA based arithmetic circuits AA Gaffar, JA Clarke, GA Constantinides 2006 IEEE International Conference on Field Programmable Technology, 349-352, 2006 | 14 | 2006 |
| Customising floating-point designs AA Gaffar, W Luk, PYK Cheung, N Shirazi Proceedings. 10th Annual IEEE Symposium on Field-Programmable Custom …, 2002 | 14 | 2002 |
| Adaptive range reduction for hardware function evaluation DU Lee, AA Gaffar, O Mencer, W Luk Proceedings. 2004 IEEE International Conference on Field-Programmable …, 2004 | 11 | 2004 |
| Optimizing Hardware Function Evaluation RCC Cheung, DJ Pearce, AA Gaffar | | 2008 |
| Power Optimization for Digital Signal Processing in Reconfigurable Logic: Newsletter 2 AA Gaffar, JA Clarke, GA Constantinides | | 2006 |
| MiniBit DU Lee, AA Gaffar, O Mencer, W Luk Proceedings of the 42nd annual conference on Design automation-DAC'05, 2005 | | 2005 |
| Formal Verification Design-Intent Coverage—A New Paradigm for Formal Property Verification................................................... P. Basu, S. Das, A. Banerjee, P … JG Lee, CM Kyung, S Bilavarn, G Gogniat, JL Philippe, L Bossuet, ... | | |
Wayne LukProfessor of Computer Engineering, Imperial College LondonEmail verificata su imperial.ac.uk
