The goal might be the same—to functionally verify system-on-a-chip (SOC) designs, but the paths taken to accomplish that goal can be quite different, as exemplified by recent advances in hardware verification and HW/SW co-verification and co-design tools. The threads in common are the need to automate, to raise to a higher level of abstraction, to build a verification-reuse methodology and to verify hardware and software together. The differences lie in the techniques and languages used to reach these objectives.
展开▼