Show simple item record

dc.contributor.authorTakakis, Zachariasen
dc.contributor.authorMangiras, Dimitriosen
dc.contributor.authorNicopoulos, Chrysostomosen
dc.contributor.authorDimitrakopoulos, Giorgosen
dc.creatorTakakis, Zachariasen
dc.creatorMangiras, Dimitriosen
dc.creatorNicopoulos, Chrysostomosen
dc.creatorDimitrakopoulos, Giorgosen
dc.date.accessioned2021-01-26T09:45:50Z
dc.date.available2021-01-26T09:45:50Z
dc.date.issued2019
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/63425
dc.description.abstractThe importance of functional coverage during front-end verification is steadily increasing. Complete coverage statistics, possibly spanning from block- to top-level, are required as a proof of verification quality and project development status. In this work, we present a coverage-driven verification methodology that relies on coverage-directed stimulus generation, with the goal being to increase functional coverage and decrease test application time. The test application time given to each one of the available constrained-random test sequences is dynamically adjusted by a feedback-based mechanism that observes online the quality of each applied test. The higher the quality, the more cycles are assigned to this test for future trials. Misbehaving test sequences are automatically replaced by new ones, in order to spend verification cycles on other tests that actually improve functional coverage. The proposed methodology is successfully applied to the register renaming sub-system of a 2-way superscalar out-of-order RISC-V processor. The results demonstrate both increased functional coverage and reduced test application time, as compared to a purely random approach.en
dc.source2019 IEEE 4th International Verification and Security Workshop (IVSW)en
dc.titleDynamic Adjustment of Test-Sequence Duration for Increasing the Functional Coverageen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.identifier.doi10.1109/IVSW.2019.8854389
dc.description.startingpage61
dc.description.endingpage66
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidNicopoulos, Chrysostomos [0000-0001-6389-6068]
dc.contributor.orcidDimitrakopoulos, Giorgos [0000-0003-3688-7865]
dc.contributor.orcidMangiras, Dimitrios [0000-0002-3602-5862]
dc.gnosis.orcid0000-0001-6389-6068
dc.gnosis.orcid0000-0003-3688-7865
dc.gnosis.orcid0000-0002-3602-5862


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record