A Method of Path Mapping from RTL to Gate Level and Its Application to False Path Identification.
Hiroshi IwataSatoshi OhtakeHideo FujiwaraPublished in: IEICE Trans. Inf. Syst. (2010)
Keyphrases
- high precision
- synthetic data
- detection method
- significant improvement
- detection algorithm
- segmentation method
- experimental evaluation
- high accuracy
- theoretical analysis
- shortest path
- optimal path
- fully automatic
- path planning
- error rate
- clustering method
- data sets
- support vector machine svm
- classification accuracy
- dynamic programming
- preprocessing