A Coverage-Driven Constraint Random-Based Functional Verification Method of Pipeline Unit.

Yingpan Wu Lixin Yu Wei Zhuang Jianyong Wang

Published in: ACIS-ICIS (2009)

Keyphrases

verification method
model checking
temporal logic
data driven
linear constraints
randomly generated
uniformly distributed
functional properties
data sets
neural network
social networks
information systems
lower bound
object oriented
functional analysis
processing pipeline