Behavioral synthesis of property specification language (PSL) assertions

Keyphrases

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

Computer Science

• Specification Language 100%
• Presented Approach 50%
• System Designer 50%
• Functional Simulation 50%
• Hardware Accelerator 50%
• Computer Hardware 50%
• System-on-Chip 50%

Engineering

• System Designer 100%
• System-on-Chip 100%
• Hardware Accelerator 100%
• Modern System 100%