A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines.
Panagiotis ManoliosSudarshan K. SrinivasanPublished in: MEMOCODE (2005)
Keyphrases
- high precision
- dynamic programming
- fully automatic
- detection method
- error rate
- cost function
- high accuracy
- pairwise
- significant improvement
- experimental evaluation
- main contribution
- detection algorithm
- classification method
- segmentation method
- experimental study
- synthetic data
- preprocessing
- clustering method
- optimization algorithm
- feature set
- probabilistic model
- evaluation method