|
Informatika i Ee Primeneniya [Informatics and its Applications], 2008, Volume 2, Issue 3, Pages 7–25
(Mi ia102)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Concurrent design and verification of digital hardware
S. Baranova, S. Frenkelb, V. Sinelnikova, V. Zakharovb a Holon Institute of Technology, Holon, Israel
b Institute of Informatics Problems, Moscow, Russia
Abstract:
The main goal of this paper is to present a new design verification methodology for complicated digital systems, designed by high-level synthesis. This methodology is based on Algorithmic State Machine (ASM) transformations (composition, minimization, extraction, etc.), special algorithms for Data Path and Control Unit (CU) design, and very fast optimizing synthesis of finite state machines (FSM) and combinational circuits with hardly any constraints on their size, that is, the number of inputs, outputs, and states. Design tools supporting this methodology allow very fast implement, check and estimate many possible design versions, to find an optimized decision of the design problem and to simplify the verification problem for digital systems. In contrast to existent semi-formal approaches to verification of industrial systems, based on combination of simulation and formal verification approaches, a formalized method based on concurrency of synthesis and verification that is providing regular efficient way to verify the system designed properties starting from its semi-formal specification up to field programmable gate array (FPGA) implementation is considered.
Keywords:
digital systems design; formal verification; finite state machine.
Citation:
S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Inform. Primen., 2:3 (2008), 7–25
Linking options:
https://www.mathnet.ru/eng/ia102 https://www.mathnet.ru/eng/ia/v2/i3/p7
|
Statistics & downloads: |
Abstract page: | 356 | Full-text PDF : | 135 | References: | 42 | First page: | 1 |
|