False Path Analysis based on a Hierarchical Control Representation
Apostolos A. Kountouris, Apostolos A. Kountouris, Christophe Wolinski, Christophe Wolinski, Christophe Wolinski · 1998
False path analysis is an activity with application in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time estimation, software testing etc. In this paper a method for automatic false path analysis based on a specific control flow representation connected to a hierarchical BDD based control representation, named CCFG, is proposed. This method overcomes certain limitations of previous approaches by its ability to reason on predicate expressions involving arithmetic inequalities. Preliminary experimental results confirm its effectiveness. filename: kwisss98.ps False Path Analysis based on a Hierarchical Control Representation Apostolos A. Kountouris and Christophe Wolinski IRISA Campus Universitaire de Beaulieu F-35042 Rennes CEDEX FRANCE Abstract False path analysis is an activity with application in a variety of computer science and engineering domains like for instance high-level synthesis, worst case e...