Jasper Makes Formal Verification Power-Aware With a New Low Power App for Verification of SOCs With Multiple Power Domains

Enables Design Teams to Reduce the Cost and Risk of Verification of Power-Domain Partitioned SOCs

Enables Design Teams to Reduce the Cost and Risk of Verification of Power-Domain Partitioned SOCs