A formal method for computer design verification.
Vijay PitchumaniEdward P. StablerPublished in: DAC (1982)
Keyphrases
- experimental evaluation
- detection method
- significant improvement
- neural network
- verification method
- clustering method
- high accuracy
- computational cost
- objective function
- edge detection
- theoretical analysis
- optimization algorithm
- bayesian networks
- cost function
- fully automatic
- error rate
- design process
- data sets
- formal verification
- evaluation method
- high precision
- classification method
- mathematical model
- learning algorithm
- computationally efficient
- feature set
- pairwise