Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification
نویسندگان
چکیده
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.
منابع مشابه
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and contain specialized semi-programmable accelerators in addition to programmable processors. In contrast to the preaccelerator era, when the ISA played an important role in verification by enabling a clean separation of concerns between software and hardware, verification of these “accelerator-rich” SoCs presents new challeng...
متن کاملA study on transactors in multi language, mixed-level simulation of digital electronic systems
In today's semiconductor industry, there is an increasing distance between engineers' productivity and state-of-the-art fabrication technology. This is known as the Productivity Gap. More efficient design methodologies are needed to cover this gap. In order to manage the growing complexity of designs, and to provide some verification tools at early stages, different levels of abstraction are us...
متن کاملTop Down Approach: SIMULINK Mixed Hardware / Software Design
System-level design methodologies have been introduced as a solution to handle the design complexity of mixed Hardware / Software systems. In this paper we describe a system-level design flow starting from Simulink specification, focusing on concurrent hardware and software design and verification at four different abstraction levels: System Simulink model, Transaction Simulink model, Macro arc...
متن کاملA Survey of Formal Hardware Verification Tools Developed in Europe
This article gives a survey on formal hardware verification tools developed in Europe. It describes the main objectives and domains of application of the formal methods for the verification of electronic systems. Further, it gives an overview of the formal methods used in the most significant European research in this domain. It attempts to introduce some classification scheme for the existing ...
متن کاملReveal: A Formal Verification Tool for Verilog Designs
We describe the Reveal formal functional verification system and its application to four representative hardware test cases. Reveal employs counterexample-guided abstraction refinement, or CEGAR, and is suitable for verifying the complex control logic of designs with wide datapaths. Reveal performs automatic datapath abstraction yielding an approximation of the original design with a much small...
متن کامل