Skip to main content

Module power

logicaffeine_compile::codegen_sva

Module power 

Source
Expand description

Power-Aware Formal Verification

Power domains introduce isolation, retention, and level shifting requirements. Missing isolation cells cause functional bugs in power-managed designs.

Structs§

PowerCrossing
A signal crossing between power domains.
PowerDomain
A power domain definition.
PowerReport
Power analysis report.
PowerViolation
A power violation.

Enums§

PowerState
Power domain state.
PowerViolationType
Power violation type.

Functions§

analyze_power
Analyze power domains and crossings for violations.
power_sequence_properties
Generate SVA properties for power sequencing.
verify_isolation
Generate SVA properties for power isolation verification.