A Rewriting Based Method for the Formal Verification of Microprocessors.

Michel Allemand

Published in: CHDL (1993)

Keyphrases

objective function
formal verification
high accuracy
significant improvement
experimental evaluation
high precision
synthetic data
classification method
cost function
feature set
rewriting rules
data sets
model checking
segmentation method
clustering method
pairwise
computational complexity
neural network