Design of systems on a chip: design and test - Reis, Ricardo (Springer, 2006)