Automatic Completion and Refinement of Verification Sets for Microprocessor Cores

Full text not available from this repository. Send a request to the author for a copy of the paper
Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Automatic Completion and Refinement of Verification Sets for Microprocessor Cores
Authors string: Sanchez E.; Squillero G; Sonza Reorda M
University authors:
Page Range: pp. 205-214
Referee type: Not specified type
Publisher: Springer
ISBN: 9783540253969
ISSN: 0302-9743
Event Title: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC
Event Location: Lausanne (CHE)
Event Dates: March 30 - April 1, 2005
Abstract: In the design cycle of a microprocessor core, the unit is usually refined through a series of subsequent steps. To deliver a flaw free unit at the end of the process, in each stage a verification step is required. While it would be useful to automatically develop the set of test programs for verification concurrently to the design, in most of the existing approach verification is performed manually and starting from scratch. This paper presented a methodology for the automatic completion and refinement of existing verification programs. It shows a new technique for allowing a Genetic Programming-based framework to import an existing test-program set and assimilate it for further test generation. A case study is considered, in which a sample pipelined processor is used, and new test programs are generated starting from existing functional ones. Different metrics are targeted, and preliminary results are reported, showing the effectiveness of the method with respect to a pure random approach
Date: 2005
Status: Published
Language of publication: English
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Date Deposited: 13 Jan 2009 03:56
    Last modification data (IRIS): 09 Jul 2014 14:21:42
    Update date (PORTO): 27 Oct 2014 14:05
    Id Number (DOI): 10.110.1007/978-3-540-32003-6_21007/b106856
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto


    Actions (login required)

    View item (admin reserved) View item (admin reserved)