Quality Electronic Design ISQED 2005 Proceedings of the 6th International Symposium on March 21 - 23 , 2005 San Jose, California (IEEE Computer Society, 2005)