Program slicing for VHDL

International Journal on Software Tools for Technology Transfer

Volumn 4, Issue 1, 2002, Pages 125-137

  Clarke, E M ^a   Fujita, M ^f   Rajan, S P ^c   Reps, T ^d,g   Shankar, S ^e   Teitelbaum, T ^b,d  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b Cornell University ^*  (United States)

^c FUJITSU LABORATORIES OF AMERICA   (United States)

^d GRAMMATECH INC   (United States)

^e CITY UNIVERSITY OF NEW YORK   (United States)

^f UNIVERSITY OF TOKYO   (Japan)

^g UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Formal verification; Hardware description languages; Model checking; Program slicing; VHDL

Indexed keywords

EXECUTION SEMANTICS; FORMAL VERIFICATIONS; INTER-PROCEDURAL; PROGRAM SLICING; REDUCTION TECHNIQUES; SEQUENTIAL LANGUAGES; STATIC PROGRAM ANALYSIS; VHDL;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING; HARDWARE; MODEL CHECKING; SEMANTICS; TOOLS;

APPLICATION PROGRAMS;

EID: 84896693056     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090100069     Document Type: Article

References (28)

1. Bates, S., Horwitz, S.: Incremental program testing using program dependence graphs. In: ACM Symposium on Principles of Programming Languages. pp. 384-396, 1993
2. Binkley, D.: Using semantic differencing to reduce the cost of regression testing. In: Proc. 1992 Conference on Software Maintenance, Orlando, Fla., USA, November 9-12, 1992, pp. 41-50
3. Binkley, D.: Precise executable interprocedural slices. ACM Lett Program Lang Syst 2:31-45, 1993
4. Binkley, D., Gallagher, K.: Program slicing. In: Zelkowitz M (ed) Advances in Computers, vol. 43. Academic, San Diego, 1996
5. Chang, K.C.: Digital Systems Design with VHDL and Synthesis. IEEE, New York, 1999
6. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244-263, 1986
7. Deharbe, D., Shankar, S., Clarke, E.M.: Model checking VHDL with CV. In: Formal Methods in Computer Aided Design (FMCAD), Lecture Notes in Computer Science, pp. 508-513, vol. 1522. Springer, Berlin, Heidelberg, New York, 1998
8. Ferrante, J., Ottenstein, K., Warren, J.: The program dependence graph and its use in optimization. ACM Trans Program Lang Syst 3(9):319-349, 1987
9. Gallagher, K.B., Lyle, J.R.: Using program slicing in software maintenance. IEEE Trans Software Eng SE-17(8):751-761, 1991
10. Grammatech: Codesurfer reference manual. Ithaca, N.Y., 1998
11. Horwitz, S.: Identifying the semantic and textual differences between two versions of a program. In: SIGPLAN Conference on Programming Languages Design and Implementation. pp. 234-245, 1990
12. Horwitz, S., Prins, J., Reps, T.: Integrating non-interfering versions of programs. ACM Trans Program Lang Syst 11(3):345-387, 1989
13. Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Trans Program Lang Syst 12(1):26-60, 1990
14. Horwitz, S., Reps, T., Sagiv, M., Rosay, G.: Speeding up slicing. In: Proc. 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering. pp. 11-20, New York, N.Y., December 1994. ACM, New York
15. IEEE.: IEEE standard VHDL language reference manual. 1987. Std 1076-1987
16. Iwaihara, M., Nomura, M., Ichinose, S., Yasuura, H.: Program slicing on VHDL descriptions and its applications. In: Asian Pacific Conference on Hardware Description Languages (APCHDL). pp. 132-139, 1996
17. Jackson, D., Rollins, E.J.: A new model of program dependences for reverse engineering. SIGSOFT 94: Proc. Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, New Orleans, La., December 7-9, 1994. ACM SIGSOFT Software Engineering Notes 19. December 1994
18. Krinke, J.: Static slicing of threaded programs. In: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE). pp. 35-2, 1998
19. Kurshan, R.P.: Computer-aided verification of coordinating processes. Princeton University, 1994
20. Lyle, J., Weiser, M.: Experiments on slicing-based debugging tools. In: Proc. 1st Conference on Empirical Studies of Programming. June 1986
21. Ning, J.Q., Engberts, A., Kozaczynski, W.: Automated support for legacy code understanding. Comm ACM 37(5):50-57, 1994
22. Ottenstein, K.J., Ottenstein, L.M.: The program dependence graph in a software development environment. In: Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. pp. 177-184, New York, N.Y., 1984. ACM, N.Y.
23. Reps, T.: Program analysis via graph reachability. Inf Software Technol 40:701-726, 1998
24. Reps, T., Rosay, G.: Precise interprocedural chopping. SIGSOFT 95: Proc. 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, Washington, DC, October 10-13, 1995). ACM SIGSOFT Software Eng Notes 20(4), 1995
25. Reps, T., Turnidge, T.: Program specialization via program slicing. In: Danvy, O., Glueck, R., Thiemann, P. (eds): Proc. Dagstuhl Seminar on Partial Evaluation, Schloss Dagstuhl, Wadern, Germany, Lecture Notes in Computer Science, vol. 1110. Springer, Berlin, Heidelberg, NewYork, 1996, pp. 409-429
26. Tip, F.: A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en Informatica, 1994
27. Weiser, M.: Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, 1979
28. Weiser, M.: Program slicing. IEEE Trans Software Eng 10(4):352-357, 1984