Multicore hardware-software design and verification techniques (Bentham eBooks, 2011)
Includes bibliographical references and index