A Guide on Logical Equivalence Checking

A Guide on Logical Equivalence Checking – Flow, Challenges, and Benefits

Introduction

The VLSI design cycle is divided into two phases: Front-end and Back-end. Front-end covers the architectural specifications, coding and verification, whereas back-end involves the physical implementation of the design on the targeted technology node.