Keyphrases
Assertion Checkers
100%
Checkers
69%
Automata
53%
Assertion-based Verification
53%
Test Case Generation
50%
Debugging
40%
Hardware Emulation
35%
Silicon Debug
29%
Test Sequence
27%
Dynamic Verification
27%
Rewrite Rules
26%
Interactive Theorem Prover
22%
Property Specification Language
22%
Graphics Processing Unit
22%
Emulation
18%
Assertion Languages
17%
Test Case Generator
16%
Hardware Verification
16%
Mutation Testing
16%
Simulation Performance
12%
Verification Test
12%
Compaction Techniques
11%
Test Compaction
11%
Chess
11%
Data Encoding
11%
Assertion Coverage
11%
Extended Regular Expressions
11%
In-field Diagnosis
11%
Parallel Wire
11%
DC Power
11%
FPGA-based
11%
Online Monitoring
11%
Test Sequence Generation
11%
Design Quality
11%
Finite Element Method
11%
Fault Simulation
11%
Online Test
11%
RLC Parameters
11%
Two-wire
11%
Design Specification
9%
Natural Language Semantics
8%
Regular Expressions
7%
Circuit Design
7%
Computer-assisted Proof
6%
Theorem Prover
6%
Power Assertion
6%
Verification Time
6%
Modeling Power
6%
Positive Impact
6%
Compaction
6%
Computer Science
Assertion Checker
100%
Computer Hardware
67%
Automaton
61%
Emulation
59%
Test Generation
44%
Graphics Processing Unit
33%
Rewrite Rule
26%
Theorem Prover
22%
Field Programmable Gate Array
22%
Correctness
18%
Specification Language
16%
Experimental Result
16%
Simulation Performance
12%
Design Specification
11%
Finite Element Analysis
11%
Regular Expression
11%
Hardware Overhead
11%
Control Signal
11%
temporal property
11%
Activity Monitor
11%
Information Present
11%
Verification Phase
11%
Design Phase
11%
Wider Acceptance
11%
Functional Verification
11%
Fault Simulation
11%
Parallelism
7%
Coverage Test
6%
Fundamental Question
5%
Logic Design
5%
Language Semantics
5%
