Logic verification refers to verifying the correctness of a logic design before fabrication or even before any detailed physical design. It is motivated by the fact that changes and modifications in a large circuit are expensive, difficult and time-consuming. Therefore, throughout the design process, verification is done at various design levels and stages to ensure that every step in the design meets its objectives and requirements. Logic verification is usually employed at the end of the logic design phase.
Unable to display preview. Download preview PDF.