As illustrated in the graph, at IP/block level, the main concern is functional coverage. At the subsystem level, the main concern will be connection and configuration coverage. While at SoC level, we assume all IP/blocks and subsystems within the were SoC well verified, and the goal becomes verification of connection coverage among the IPs, and subsystems and the SoCs performance coverage of behaviors in comparison with the specification. At TESDA, we focus the development of our technology on SoC level connections and performance coverage.