Generating concise assertions with complete coverage

Keyphrases

• Complete Coverage 100%
• Assertion Generation 100%
• Dynamic Method 66%
• Static Method 66%
• Satisfiability Solving 66%
• Structure Analysis 33%
• Generation Process 33%
• Simulation Method 33%
• Readability 33%
• Space Coverage 33%
• Input Space 33%
• Floating-point 33%
• Human Effort 33%
• Ethernet 33%
• ASIC Design Flow 33%
• Input Constraints 33%
• Boolean Satisfiability 33%
• Satisfiability Problem 33%
• Constraint Level 33%
• Formal Verification 33%
• SpaceWire 33%
• Simulation Verification 33%
• Word Level Features 33%

Engineering

• Dynamic Method 100%
• Static Method 100%
• Experimental Result 50%
• Simulation Method 50%
• Consuming Process 50%
• Floating Point 50%
• Input Space 50%
• Design Flow 50%
• Level Feature 50%
• Integrated Circuit Design 50%
• Input Constraint 50%

Computer Science

• Dynamic Method 100%
• Experimental Result 50%
• Floating Point 50%
• Formal Verification 50%
• Satisfiability Problem 50%