Title :
Specification-driven testbench development for synchronous parallel-pipeline designs
Author :
Chupilko, Mikhail ; Kamkin, Alexander
Author_Institution :
Inst. for Syst. Programming, Russian Acad. of Sci., Moscow, Russia
Abstract :
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.
Keywords :
automatic testing; formal specification; formal verification; hardware-software codesign; Hoare triples; automate testbench development; control flow graphs; cycle-accurate formal specifications; design under verification; microoperations; specification-driven testbench development; synchronous parallel-pipeline designs; Automatic control; Automatic testing; Construction industry; Electronic mail; Hardware; Parallel programming; Process design; Scalability; Synchronous generators; System testing;
Conference_Titel :
NORCHIP, 2009
Conference_Location :
Trondheim
Print_ISBN :
978-1-4244-4310-9
Electronic_ISBN :
978-1-4244-4311-6
DOI :
10.1109/NORCHP.2009.5397808
