vlogsl: A Strategy Language for Simulation-Based Verification of Hardware.
Michael KatelmanJosé MeseguerPublished in: Haifa Verification Conference (2010)
Keyphrases
- low cost
- hardware and software
- real time
- hardware designs
- programming language
- neural network
- natural language
- data sets
- formal verification
- optimal strategy
- selection strategy
- model checking
- image processing
- genetic algorithm
- logic programming
- language learning
- computer systems
- computing systems
- software engineering
- search algorithm
- face verification
- circuit design