Title: Hardware/software co-design and co-verification
Subjects: Electronic digital computers, Development, Design and construction, System design, Computer software, Computer input-output equipment