Title: Co-verification of hardware and software for ARM SoC design
Subjects: Computer software, Verification, Integrated circuits, Systems on a chip