A formal method for the specification, analysis, and design of register-transfer level digital logic.
Louis J. HaferAlice C. ParkerPublished in: DAC (1981)
Keyphrases
- probabilistic model
- detection method
- pairwise
- support vector machine svm
- data sets
- high precision
- classification method
- objective function
- preprocessing
- cost function
- dynamic programming
- experimental evaluation
- computational cost
- design process
- high accuracy
- formal methods
- knn
- computational complexity
- reinforcement learning
- high level
- genetic algorithm