A program differencing algorithm for verilog HDL

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 477-486

  Duley, Adam ^a   Spandikow, Chris ^b   Kim, Miryung ^c  

^a INTEL CORPORATION   (United States)

^b IBM   (United States)

^c UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Change types; Empirical study; Hardware description languages; Program differencing; Verilog

Indexed keywords

CHANGE TYPES; EMPIRICAL STUDIES; HARDWARE DESCRIPTION LANGUAGES; PROGRAM DIFFERENCING; VERILOG;

ALGORITHMS; CODES (SYMBOLS); HARDWARE; OPEN SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 78649764324     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859093     Document Type: Conference Paper

References (33)

1. http://sourceforge.net/projects/tkdiff
2. http://veditor.wiki.sourceforge.net
3. Eclipse EMF Compare Project description. http://www.eclipse.org/emft/ projects/compare
4. Opencore. http://opencores.org
5. Ramp. http://ramp.eecs.berkeley.edu
6. Sat4J. http://www.sat4j.org/
7. Subclipse. http://subclipse.tigris.org
8. T. Apiwattanapong, A. Orso, and M. J. Harrold. A differencing algorithm for object-oriented programs. In ASE '04, pages 2-13, Washington, DC, USA, 2004. IEEE Computer Society
9. P. J. Ashenden. Vhdl-200x: The next revision. IEEE Design and Test of Computers, 20(3):112-113, 2003
10. G. Canfora, L. Cerulo, and M. D. Penta. Tracking your changes: A language-independent approach. IEEE Software, 26:50-57, 2009
11. S. S. Chawathe, A. Rajaraman, H. Garcia-Molina, and J. Widom. Change detection in hierarchically structured information. In SIGMOD '96, pages 493-504, New York, NY, USA, 1996. ACM
12. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. McGraw-Hill Science/Engineering/Math, 2001
13. R. Cottrell, J. J. C. Chang, R. J. Walker, and J. Denzinger. Determining detailed structural correspondence for generalization tasks. In ESEC-FSE '07, pages 165-174, New York, NY, USA, 2007. ACM
14. L. R. Dice. Measures of the amount of ecologic association between species. Ecology, 26(3):297-302, 1945
15. B. Fluri, M. Würsch, M. Pinzger, and H. C. Gall. Change distilling - tree differencing for fine-grained source code change extraction. IEEE Transactions on Software Engineering, 33(11):18, November 2007
16. V. Gupta and V. Pratt. Gates accept concurrent behavior. Foundations of Computer Science, Annual IEEE Symposium on, 0:62-71, 1993
17. J. W. Hunt and T. G. Szymanski. A fast algorithm for computing longest common subsequences. Communications of the ACM, 20(5):350-353, 1977
18. G. Malpohl, J. J. Hunt, and W. F. Tichy. Renaming detection. Automated Software Engineering, 10(2):183-202, 2000
19. E. W. Myers. An o(nd) difference algorithm and its variations. Algorithmica, 1:251-266, 1986
20. I. Neamtiu, J. S. Foster, and M. Hicks. Understanding source code evolution using abstract syntax tree matching. In MSR'05, pages 2-6, 2005
21. D. Ohst, M. Welle, and U. Kelter. Difference tools for analysis and design documents. In ICSM '03, page 13, Washington, DC, USA, 2003. IEEE Computer Society
22. S. Person, M. B. Dwyer, S. Elbaum, and C. S. Pšsšreanu. Differential symbolic execution. In SIGSOFT '08/FSE-16, pages 226-237, New York, NY, USA, 2008. ACM. differential symbolic execution
23. S. Raghavan, R. Rohana, D. Leon, A. Podgurski, and V. Augustine. Dex: A semantic-graph differencing tool for studying changes in large code bases. In ICSM '04, pages 188-197, Washington, DC, USA, 2004. IEEE Computer Society
24. S. P. Reiss. Tracking source locations. In ICSE '08, pages 11-20, New York, NY, USA, 2008. ACM
25. D. I. Rich. The evolution of systemverilog. IEEE Design and Test of Computers, 20(4):82-84, 2003
26. M. Schmidt and T. Gloetzner. Constructing difference tools for models using the sidiff framework. In ICSE Companion '08, pages 947-948, New York, NY, USA, 2008. ACM.
27. M. Soto and J. Münch. Process model difference analysis for supporting process evolution. Lecture Notes in Computer Science, Springer Berlin, Volume 4257/2006:123-134, 2006
28. S. Sudakrishnan, J. Madhavan, E. J. Whitehead, Jr., and J. Renau. Understanding bug fix patterns in verilog. In MSR '08, pages 39-42, New York, NY, USA, 2008. ACM
29. D. Thomas and P. Moorby. The Verilog Hardware Description Language. Kluwer Academic Publishers, 2002
30. C. Treude, S. Berlik, S. Wenzel, and U. Kelter. Difference computation of large models. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 295-304, New York, NY, USA, 2007. ACM.
31. P. Weińgerber and S. Diehl. Identifying refactorings from source-code changes. In ASE '06, pages 231-240, Washington, DC, USA, 2006. IEEE Computer Society
32. Z. Xing and E. Stroulia. Umldiff: an algorithm for object-oriented design differencing. In ASE '05, pages 54-65, New York, NY, USA, 2005. ACM
33. W. Yang. Identifying syntactic differences between two programs. Software - Practice & Experience, 21(7):739-755, 1991