Verilog2SMV: A tool for word-level verification.

Ahmed Irfan Alessandro Cimatti Alberto Griggio Marco Roveri Roberto Sebastiani

Published in: DATE (2016)

Keyphrases

word level
model checking
formal verification
language independent
machine translation
document analysis
writer identification
word recognition
hardware designs
machine learning
knowledge representation
anomaly detection
sentence level
word segmentation