Co-verification of hardware and software for ARM SoC design - Andrews, Jason R. (Elsevier Newnes, 2005)
Includes index
With bibliographic references and index