Институт системного программирования им. В.П. Иванникова РАН

Specification-Driven Testbench Development for Synchronous Parallel-Pipeline Designs.


M. Chupilko, A. Kamkin.


In this paper an approach to testbench development for synchronous parallel-pipeline designs is considered. The approach is based on cycle-accurate formal specifications of a design under verification. Specifications include descriptions of control flow graphs of the design's operations and definitions of the microoperations with the help of Hoare triples. The approach allows to automate testbench development for complex synchronous designs with control flow branching and parallel starting operations.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

simulation-based verification, formal specification, testbench automation, assertions, co-simulation.


NorChip-2009, pp.1-4.

DOI: 10.1109/NORCHP.2009.5397808

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации