GRANLOG : An Integrated GranularityAnalysis Model forParallel Logic