Co-verification of hardware and software for ARM SoC design - 287919 Andrews, Jason R. (Burlington, MA : Elsevier/Newnes, 2005)
16