Systems & Design
WHITEPAPERS

Formal Analysis Of X Propagation

How to verify undefined signal values in a design.

popularity

Verifying the absence of undefined signal values in a design is in general a hard problem. Formal 4-state logic analysis offers a powerful solution. This white paper discusses X-related verification issues, and how advanced 4-state formal analysis solves them. This white paper covers the 360 DV-Verify product.

To read more, click here.



Leave a Reply


(Note: This name will be displayed publicly)