Cover Image

Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines

Saved in:

Bibliographic Details
Date:	2017
Main Authors:	P. N. Bibilo, V. I. Romanov
Format:	Article
Language:	English
Published:	2017
Series:	Control Systems and Computers
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000746821
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Translation of VHDL Sequential Statements
by: Radziewicz, M.
Published: (2008)

Constructive description of monogenic functions in finite dimensional commutative algebras
by: V. S. Shpakivskyi
Published: (2015)

Insertion semantics of VHDL as electronic design languge
by: O. O. Letychevskyi, et al.
Published: (2022)

Трансляция VHDL программы в BDD структуры
by: Закутайло, Д.А.
Published: (2003)

Особенности языка VHDL для программирования кристаллов ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2006)

Upper bounds for imbalance of discrete functions realized by sequences of finite-state machines
by: A. N. Aleksejchuk, et al.
Published: (2019)

Synthesis of combined finite state machine with FPGAs
by: A. A. Barkalov, et al.
Published: (2015)

Synthesis of Combined Finite State Machine with FPGAs
by: A. A. Barkalov, et al.
Published: (2016)

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
by: Бибило, П.Н., et al.
Published: (2017)

Modeling of stress-strain state by the finite-element method at tests on weldability (PVR-test)
by: K. A. Jushchenko, et al.
Published: (2016)

Concerning problematic character of statistical verification of theoretical constructs
by: S. Dembitskij
Published: (2014)

Concerning problematic character of statistical verification of theoretical constructs
by: S. Dembitskyi
Published: (2014)

Проектирование модулей с плавающей точкой на ПЛИС с использованием языка VHDL
by: Опанасенко, В.Н., et al.
Published: (2005)

Побудова VHDL-AMS моделі акселерометра ємнісного типу з врахуванням жорсткості пружин
by: Теслюк, В.М., et al.
Published: (2009)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
by: Bezverha, M.A., et al.
Published: (2026)

The Energy-Intensive Testing Sets Selection for Realization of the Increased Power Consumption Mode of the Combinational CMOS Circuits
by: P. N. Bibilo, et al.
Published: (2016)

Algebraic interpretation of microprogram finite-state machine with datapath of transitions
by: R. M. Babakov, et al.
Published: (2016)

Study of Dynamical Parameters of Vibrational Machine for Compacting the Building Mixtures
by: V. A. Basarab
Published: (2020)

Testing the Method of Constructing Production Functions with Variable Coefficients (PFVCE)
by: O. M. Lytvyn, et al.
Published: (2018)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
by: Huang, S.H., et al.
Published: (2019)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

Description of the class of strictly differentiable finite-state isometries of the ring Z2
by: D. I. Morozov
Published: (2021)

Realization of Function of Microprogram Final State Machine Transitions on the Base of Operational Final-State Machine
by: R. M. Babakov, et al.
Published: (2015)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Microprogram Finite State Machine Modification with the Datapath of Transitions and Replacement of the Input Variables
by: R. M. Babakov, et al.
Published: (2017)

Construction of inverse transformation function of eddy current devices for a multivariable testing
by: Ya. Teterko, et al.
Published: (2011)

Constructive description of monogenic functions in a three-dimensional harmonic algebra with one-dimensional radical
by: S. A. Plaksa, et al.
Published: (2013)

Test-industrial method verification of outrunning degassing of roof rock at the mine &quot;Stepnaya&quot;
by: K. A. Bezruchko, et al.
Published: (2015)

Determination of the field of efficient application of a microprogrammed finite-state machine with datapath of transitions
by: R. M. Babakov, et al.
Published: (2018)

Structural classification of the methods of synthesis of a microprogram finite-state machine with datapath of transitions
by: R. M. Babakov, et al.
Published: (2019)

The technique of using Description Logics in the process of constructing a composite service at the functional level
by: O. Zakharova
Published: (2018)

Existence and compactness of solutions of semilinear integro-differential equations with finite delay
by: F. Sahraoui, et al.
Published: (2022)

On the group of extensions for the bicrossed product construction for a locally compact group
by: Chapovsky, Yu. A., et al.
Published: (2018)

On the group of extensions for the bicrossed product construction for a locally compact group
by: Chapovsky, Yu.A., et al.
Published: (2004)

On the Main Constructive Parameters of Seven-Link Spatial Mechanism of Machine for Machining of Parts
by: M. G. Zaljubovskij, et al.
Published: (2020)

A COMPUTERIZED DIAGNOSTIC COMPLEX FOR RELIABILITY TESTING OF ELECTRIC MACHINES
by: Somka, O. O., et al.
Published: (2015)

Reduction of the Maximum Number of Significant Input Variables in the Microprogram Finite State Machine with Datapath of Transitions
by: R. M. Babakov, et al.
Published: (2018)

Operational Realization of Output Function of Microprogram Final-State Machine
by: R. M. Babakov, et al.
Published: (2017)

Approximation of harmonic functions on compact sets in ℂ
by: Andrievskii, V.V.
Published: (1993)

Development and implementation of facilities and technologies for determination of constructions&#039; state and aircraft systems with methods of nondestructive testing
by: V. P. Maslov
Published: (2013)