Ivannikov Institute for System Programming of the RAS


Specification-Driven Construction of Testbench Checkers for RTL Models of Synchronous Parallel-Pipeline Hardware.

Authors

A. Kamkin.

Full text of the paper in pdf

Edition

Written for RTL and High-Level Testing Workshop, 2009.

Research Group

Software Engineering

All publications during 2009 All publications