Automated test bench generation for high-level synthesis flow ABELITE

Taavi Viilukas, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Samary Baranov

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Abstract

    The paper presents an approach for integration of automatic test bench generation based on a hierarchical test pattern generator Decider into the high-level synthesis flow Abelite. While the high-level synthesis flow provides fast results of complex systems design, functional verification of the design including initial specification has remained until now a sophisticated manual process. The automatically generated test benches provide high code coverage for simulation and are readable for debug. The experiments demonstrate viability and efficiency of the proposed approach.

    Original languageEnglish
    Title of host publicationProceedings of IEEE East-West Design and Test Symposium, EWDTS'2011
    Pages13-16
    Number of pages4
    DOIs
    StatePublished - 2011
    Event2011 9th East-West Design and Test Symposium, EWDTS'2011 - Sevastopol, Ukraine
    Duration: 9 Sep 201112 Sep 2011

    Publication series

    NameProceedings of IEEE East-West Design and Test Symposium, EWDTS'2011

    Conference

    Conference2011 9th East-West Design and Test Symposium, EWDTS'2011
    Country/TerritoryUkraine
    CitySevastopol
    Period9/09/1112/09/11

    Fingerprint

    Dive into the research topics of 'Automated test bench generation for high-level synthesis flow ABELITE'. Together they form a unique fingerprint.

    Cite this