(28 July 1989)
(27 July 2001)
Computer Aided Verification (2005), pp. 199-212.
Circuits and Systems, 2003. ISCAS '03. Proceedings of the 2003 International Symposium on, Vol. 4 (2003), pp. IV-277-IV-280 vol.4.
(1999)
Design, Automation and Test in Europe, 1998., Proceedings (1998), pp. 429-435.
Trans. on Embedded Computing Sys., Vol. 5, No. 2. (May 2006), pp. 355-382.
(2000), pp. 108-120.
Computer Aided Design, 2003. ICCAD-2003. International Conference on (2003), pp. 275-282.
Reconfigurable Computing and FPGA's, 2006. ReConFig 2006. IEEE International Conference on (2006), pp. 1-6.
(2004)
EURASIP J. Embedded Syst., Vol. 2006, No. 1. (January 2006), pp. 21-21.
Signal Processing Systems Design and Implementation, 2006. SIPS '06. IEEE Workshop on (2006), pp. 280-285.
Neural Networks, 2007. IJCNN 2007. International Joint Conference on (2007), pp. 1360-1364.
Digital Signal Processing Workshop, 2004 and the 3rd IEEE Signal Processing Education Workshop. 2004 IEEE 11th (2004), pp. 19-23.
ACM Trans. Des. Autom. Electron. Syst., Vol. 11, No. 1. (January 2006), pp. 26-43.
Field-Programmable Technology (FPT), 2003. Proceedings. 2003 IEEE International Conference on (2003), pp. 84-91.