Tri-state bus conflict checking method for ATPG using BDD.
Yasushi KosekoTakuji OgiharaShinichi MuraiPublished in: ICCAD (1993)
Keyphrases
- synthetic data
- preprocessing
- cost function
- dynamic programming
- objective function
- video sequences
- significant improvement
- experimental evaluation
- detection method
- clustering method
- optimization algorithm
- high accuracy
- probabilistic model
- optimization method
- mathematical model
- support vector machine svm
- input data
- support vector machine
- classification accuracy
- genetic algorithm
- computational cost
- computational complexity
- similarity measure
- image processing