The predictive analysis of the design to ensure that, it will perform the given I/O function is performed through functional verification. Verification has become the dominant cost in any of the ...