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