METHOD AND SYSTEM FOR RE-USING DIGITAL ASSERTIONS IN A MIXED SIGNAL DESIGN

摘要

A system, method, and computer program product is disclosed that recycle digital assertions for mixed-signal electronic designs. The approach enables the re-use of pure digital assertions which reference signals that turn out to resolve to analog due to the particular circuit configuration chosen during the verification process.