Language Based Design Verification with Semantic Analysis.

George Economakos George K. Papakonstantinou

Published in: EUROMICRO (1999)

Keyphrases

semantic analysis
syntactic parsing
natural language
design process
natural language processing
natural language understanding
functional verification
decision trees
user interface
language learning
conceptual graphs
relation extraction
formal verification