Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation
Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak · Journal on Satisfiability Boolean Modeling and Computation · 2008
Program slicing is a software-analysis technique that generates System Dependence Graphs (SDGs) by which dependencies among program statements can be identified through their traversal. We have developed a program slicing tool for SpecC, a C-based sy