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