skip to main content
10.1145/2491411.2492406acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
research-article

PHRT: a model and programmable tool for hardware reengineering automation

Published:18 August 2013Publication History

ABSTRACT

Hardware reengineering is a highly resource-consuming process of development cycle, so it is important to automate reengineering in order to reduce costs and provide reusable solutions. There are many specialized electronic design automation (EDA) tools for specific cases, but only few programmable tools supporting implementation of user-specific reengineering operations.

This paper presents PhD research, which aims development of such Programmable Hardware Reengineering Tool (PHRT), which can be useful for small hardware-design companies and research groups, who have specific recurrent tasks and cannot afford development of automation tools “from scratch”.

We propose HDL-independent “hybrid” device representation model for automated analysis and transformation, which combines low-level structural descriptions (netlists) with features from high-level hardware description languages (HDLs). Such model supports parallel analysis and transformation of multiple description layers at once. In our research we present PHRT prototype, which is an extendable core, which provides basic functionality for import/export, analysis, editing and transformation of hybrid models. Its functionality can be extended by extensions and script programs.

At the current state, PHRT prototype is being successfully used by several Russian hardware-design companies. Test results have proven applicability of PHRT as a good framework for user-specific reengineering cases like testing instrumentation and reliability assurance (memory replacement, structural redundancy insertion, etc.).

References

  1. P. J. Ashenden, P. A. Wilsey, and D. E. Martin. SUAVE: Object-oriented and genericity extensions to vhdl for high-level modeling. In Electronic chips & systems design languages, pages 57––70. Springer, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. I. Baxter, C. Pidgeon, and M. Mehlich. DMS: Program transformations for practical scalable software evolution. In Proceedings of the 26th International Conference on Software Engineering, ICSE ’04, pages 625–634, Washington, DC, USA, 2004. IEEE Computer Society. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. E. Linehan and S. Clarke. An aspect-oriented, model-driven approach to functional hardware verification. Journal of Systems Architecture, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. O. Nenashev. Developing a programmable toolkit for automated structural redundancy insertion. In Best papers of XXXIX SPBSTU Week of Science, volume 1, Saint Petersburg, 2011. SPBSTU.Google ScholarGoogle Scholar
  5. O. Nenashev. Automated test instrumentation of reliable digital devices for in-circuit testing. In High-tech information systems and innovations in Russian National Research Universities, volume 3, pages 64–68, Saint Petersburg, 2013. SPBSTU.Google ScholarGoogle Scholar
  6. B. Niton, K. Pozniak, and R. Romaniuk. Plug-in to eclipse environment for VHDL source code editor with advanced formatting of text. In Proceedings of SPIE, volume 8008, page 80080Q, 2011.Google ScholarGoogle Scholar
  7. J. Vidal, F. De Lamotte, G. Gogniat, P. Soulard, and J. Diguet. A co-design approach for embedded system modeling and code generation with uml and marte. In Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE’& Exhibition, 2009. DATE’’09., pages 226–231. IEEE, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. P. A. Wilsey, D. M. Benz, and S. L. Pandey. A model of vhdl for the analysis, transformation, and optimization of digital system designs. In Design Automation Conference, 1995. Proceedings of the ASP-DAC’95/CHDL’95/VLSI’95., IFIP International Conference on Hardware Description Languages; IFIP International Conference on Very Large Scale Integration., Asian and South Pacific, pages 611–616. IEEE, 1995.Google ScholarGoogle Scholar

Index Terms

  1. PHRT: a model and programmable tool for hardware reengineering automation

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in
            • Published in

              cover image ACM Conferences
              ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
              August 2013
              738 pages
              ISBN:9781450322379
              DOI:10.1145/2491411

              Copyright © 2013 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 18 August 2013

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article

              Acceptance Rates

              Overall Acceptance Rate112of543submissions,21%
            • Article Metrics

              • Downloads (Last 12 months)0
              • Downloads (Last 6 weeks)0

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader