CHARME 2003 (2001 L'Aquila, Italy)

• Correct hardware design and verification methods