Proves the full chip does what the specification says, through simulation, emulation, formal methods and coverage, relying on each IP block's own verification.
The full lifecycle detail, with its charts, flows, tables and every section, is for registered members. Registration is free and takes a minute. You come back to this page afterwards.