Contract Specifiaction of Hardware Designs at Different Abstraction Levels: Application to Functional Verification
Mikhail Mikhaylovich Chupilko, Alexander Kamkin · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2010
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 abstraction.