Logical verification

By a range of verification tasks test the logical representation of the system. Verification can be by formal (mathematically correct) methods, generated tests and manually created tests. Logical Equivalence Checks are performed against higher level RTL level model descriptions.

Gate level verification can be used to ensure the Synthesis translation was correct and the design has not been altered or affected. It also tests low level entities such as power structures that are not represented in RTL descriptions and added during synthesis. Gate level verification use simulations operating on gate level netlists. Verification at this level is not usually exhaustive due to the time required to run such a gate level simulation. Test vectors are prioritised, for example specific timing concerns not covered by Static Timing Analysis.

Explore This Design Flow

Projects Using This Design Flow

Experts and Interested People


Research Area
Low power system design
Research Area
Machine Learning on Resource-Constrained Embedded Systems
PhD Student


Log-in to Add to Your Profile

Add new comment

To post a comment on this article, please log in to your account. New users can create an account.