TY - GEN
T1 - Automated test bench generation for high-level synthesis flow ABELITE
AU - Viilukas, Taavi
AU - Jenihhin, Maksim
AU - Raik, Jaan
AU - Ubar, Raimund
AU - Baranov, Samary
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84856103026
U2 - 10.1109/EWDTS.2011.6116601
DO - 10.1109/EWDTS.2011.6116601
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84856103026
SN - 9781457719578
T3 - Proceedings of IEEE East-West Design and Test Symposium, EWDTS'2011
SP - 13
EP - 16
BT - Proceedings of IEEE East-West Design and Test Symposium, EWDTS'2011
T2 - 2011 9th East-West Design and Test Symposium, EWDTS'2011
Y2 - 9 September 2011 through 12 September 2011
ER -