ABSTRACT
In this paper, we present two slicing tools: VHDL_Slice and Est_slice that compute static executable slices of VHDL and Esterel programs respectively. The slicers have been tested on a number of small and medium sized examples.
- T. Ball and S. Horowitz. Slicing programs with arbitrary control-flow. In Automated and Algorithmic Debugging, 1993.]] Google ScholarDigital Library
- G. Berry and G. Gonthier. The Esterel synchronous programming language. SCP, 19(2), 1992.]] Google ScholarDigital Library
- D. W. Binkley and K. B. Gallagher. Program slicing. In Advances in Computer Science, 1996.]]Google ScholarCross Ref
- V. D'Silva, S. Ramesh, and A. Sowmya. Synchronous protocol automata for modelling and verification of system-on-chip bus architectures. In IEEE DATE 2004, Feb. 2004.]] Google ScholarDigital Library
- S. Edwards. Esuif: An open esterel compiler. Electronic Notes on Theoretical Computer Science, 65(1), 2002.]]Google Scholar
- V. Kamat. Towards slicing vhdl. Masters Thesis, CSE Dept., IIT Bombay, Jan 2003.]]Google Scholar
- J. Krinke. Static slicing of threaded programs. In ACM Workshop on PASTE, 1998.]] Google ScholarDigital Library
- A.R. Kulkarni and S. Ramesh. Slicing reactive programs. In IEEE workshop on SCAM, 2003.]]Google Scholar
- L. Millett and T. Teitelbaum. Slicing promela and its applications. In 4th SPIN workshop, 1998.]]Google Scholar
- M. G. Nanda and S. Ramesh. Slicing concurrent programs. In ACM ISSTA, 2000.]] Google ScholarDigital Library
- OVL. Accellera open verification library. http://www.accellera.com.]]Google Scholar
- D. Perry. VHDL. Tata McGraw Hill, 2001.]]Google Scholar
- S. Ramesh and P. Bhaduri. Validation pipelined processor designs using esterel tools. In CAV, 1999.]] Google ScholarDigital Library
- Code Surfer. http://www.grammatech.com.]]Google Scholar
- F. Tip. A survey of program slicing techniques. J. of Programming Languages, 3, 1995.]]Google Scholar
- G. Vinod and S. Ramesh. Slicing synchronous reactive programs. Electronic Notes on Theoretical Computer Science, 65(1), 2002.]]Google Scholar
Index Terms
- Slicing tools for synchronous reactive programs
Recommendations
Slicing tools for synchronous reactive programs
In this paper, we present two slicing tools: VHDL_Slice and Est_slice that compute static executable slices of VHDL and Esterel programs respectively. The slicers have been tested on a number of small and medium sized examples.
Dynamic Slicing of Statechart Specifications for Reactive Systems
ICICTA '11: Proceedings of the 2011 Fourth International Conference on Intelligent Computation Technology and Automation - Volume 01This paper extends the well-known technique of dynamic slicing to State chart specifications of reactive systems. Dynamic slicing is well known in the domain of sequential transformational programs and has been found to be useful in understanding, ...
Properties of Slicing Definitions
SCAM '09: Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and ManipulationWeiser's original papers on slicing defined the concept in an informal way. Since then there have been several attempts to formalise slicing using various formal methods and semantics of programs. In this paper we start by defining some properties that ...
Comments