Die Synthese von "Property Specification Language" (PSL) Assertions

Keyphrases

• Assertion-based Verification 100%
• Integrated Simulation 50%
• System Designer 50%
• Verification Method 50%
• Increasing Complexity 50%
• Time to Market 50%
• Beyond the Border 50%
• Specification Language 50%
• System-on-chip 50%
• Design for Verification 50%
• Behavioral Synthesis 50%
• FunC 50%

Computer Science

• Presented Approach 100%
• System Designer 100%
• Specification Language 100%
• System-on-Chip 100%