Ivannikov Institute for System Programming of the RAS

Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification.


M. Chupilko, A. Kamkin.


The paper touches upon the issues of functional specification and verification of digital hardware at different abstraction levels. It shows how behavioral models of various degrees of abstraction can be represented by means of the contract paradigm and how contract specifications can be applied to generate test sequences in an automated way. The testing technique under consideration is based on the traversal of FSM derived from specifications. Taking into account that contract specifications are well known to be a high-efficient tool for constructing response checkers and estimating test coverage, we can assuredly report that the contract-based approach is a universal solution for hardware verification at different levels of

Full text of the paper in pdf


SYRCOSE-2010 (Spring-Summer Young Researchers' Colloquium on Software Engineering 2010), pp.125-129.

DOI: 10.15514/SYRCOSE-2010-4-25

ISBN 978-5-91474-015-0

Research Group

Software Engineering

All publications during 2010 All publications