Search Results - Software/Program Verification— Model checking General Terms Design

The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification by Zhang, Hongce

“… Previously, for general-purpose processors, the instruction set architecture (ISA) created a separation between the hardware and software in terms of design and verification…”
Get full text