Advances in Hardware Design and Verification - Hon F. Li, David K. Probst ((IFIP Advances in Information and Communication Technology))