Coverification of Hardware and Software for ARM SOC Design - Andrews (Jason.R) (N.Y. ELSEVIER)