).

Published in: ASP-DAC (2005)