Platform for automated HW/SW co-verification, testing and simulation of microprocessors

The high complexity of very deep-submicron Systems-on-Chip makes their verification extremely challenging task. Various methodologies based on traditional simulation, assertion-based verification, formal verification etc. help increase the confidence that a circuit is working according to specification, but in most of the cases an assertion that a circuit is 100% compliant to its specifications is not reachable.