Design automation : conference proceedings - Ababei, Cristinel (Institute of Electrical and Electronics Engineers, 2010)