Program slicing on vhdl descriptions and its evaluation

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Volumn E81-A, Issue 12, 1998, Pages 2585-2594

  Ichinoset, Shigeru ^a   Iwaihara, Mizuho ^a   Yasuura, Hiroto ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

Component extraction; Design reuse; Hardware description language; Program slicing; VHDL

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEMS PROGRAMMING;

COMPONENT EXTRACTION; PROGRAM SLICING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0032307176     PISSN: 09168508     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. A.V. Aho, R. Sethi, and J.D. Ullman.Compilers-Principles, Techniques, and Tools, Addison-Wesley, 1986.
2. J. Cheng.Slicing concurrent programs - A graphtheoretical approach, Proc. AADEBUG'93, Lecture Note in Computer Science, vol.749, pp.221-240, 1993.
3. A. Coen-Porisini, F. De Paoli, C. Ghezzi, and D. Mandrioli.Software specialization via symbolic execution, IEEE Trans. Software Eng., vol.17, no.9, pp.884-899, 1991.
4. K.B. Gallagher and J.R. Lyle.Using program slicing in software maintenance, IEEE Trans. Software Eng., vol.17, no.8, pp.751-761, 1991.
5. IEEE Standard VHDL Language Reference Manual, IEEE Std. 1076-1987, The Institute of Electrical and Electronic Engineers, Inc., 1988.
6. M. Iwaihara, M. Nomura, S. Ichinose, and H. Yasuura.Program slicing on VHDL descriptions and its applications, Proc. 3rd Asian-Pacific Conf. Hardware Description Languages, pp.132-139, Jan. 1996.
7. J. Mermet, ed..VHDL for Simulation, Synthesis and Formal Proofs of Hardware, Kluwer Academic, 1992.
8. M. Nomura, S. Ichinose, M. Iwaihara, and H. Yasuura.Slicing VHDL descriptions for design modification support, Proc. 6th Workshop on Synthesis And System Integration of Mixed Technologies (SASIMI'96), pp.162-169, Fukuoka, Nov. 1996.
9. M. Weiser.Program slicing, IEEE Trans. Software Eng., vol.SE-10, no.4, July 1984.