Cadence Design Systems, Inc.

Advanced Verification Solution White papers

	Spec-based Verification

	Reducing Block, Chip, and System Design Risk with a "Plan-to-Closure" Verification Approach

	Assertion-based Acceleration

	The e Language: A Fresh Separation of Concerns

	Getting the Most Out of Formal Analysis

	Components of a Complete Assertion-based Verification Solution

all white papers