Assertion-based Monitoring
ConceptA verification technique used in functional faithfulness verification in which runtime assertions and coverage models are incorporated to monitor architectural features, pipeline events, and hazard conditions during simulation. It complements state-level comparison by ensuring behavioral properties are checked as design state evolves.
WIKI
Assertion-based Monitoring
1. Definition and Scope
Assertion-based monitoring is a verification methodology in which formal or runtime assertions, together with coverage models, are embedded into a simulation or verification environment so that behavioral properties are continuously checked as the design-under-test (DUT) executes. In the context of functional faithfulness verification, assertion-based monitoring extends bit-level state comparison by ensuring that all relevant architectural features, pipeline events, and hazard conditions are exercised and checked.
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →