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

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

Полный текст статьи в формате 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

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

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

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