Evaluating and comparing simulation verification vs. Formal verification approach on block level design

In the last Tew years the logic design has become very complex in term of logic functionality. System On a Chip (SOC) designs are an integration of multiple modules and cores. In many cases SoC integration is a result of integrating few chips together. Each piece (module or core) must be verified separately (stand alone) prior to chip level verification. Stand-alone logic verification of the design is one of the most important steps in the overall design effort. Following the increase of the amount of functionality at each module, the logic verification effort has become one of the most resources consuming tasks. Two logic verification methods are commonly used when verifiying a SOC: simulation based verification and formal based verification. In this paper the two methods are explored and compared with respect to the time required for setup and running the environment, ease of debugging the reported failures, power, coverage and confidence level. Our main goal is to establish criteria for optimal use of simulation based verification and formal based verification in the verification process and implement both methods on the pcmciajf block. PCMCIA (Personal Computer Memory Card International Association) is a standard for using memory and I/O devices as insertable, exchangeable peripherals for personal computers. In the current research we derived some important conclusions concerning the matching of these methods for the verification of blocks of a similar type.