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

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

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

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)

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)

Constructive description of finite nondispersed groups where all subgroups of the nonprimary index are Abelian
by: Chernikov , S. N., et al.
Published: (1992)

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

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

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)

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

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

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

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

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

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

Constructive description of monogenic functions in a harmonic algebra of the third rank
by: Plaksa, S. A., et al.
Published: (2010)

Constructive description of classes of harmonic functions with peculiarities on the quasi-conformal arc
by: Andrievsky, V. V., et al.
Published: (1987)

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

Description of the class of strictly differentiable finite-state isometries of the ring $Z_2$
by: Morozov, D. I., et al.
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)

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 continuous cocycles for the bicrossed product of locally compact groups
by: Podkolzin, G. B., et al.
Published: (2009)

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

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

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

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

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

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

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

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

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)

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 Main Constructive Parameters of Seven-Link Spatial Mechanism of Machine for Machining of Parts
by: M. G. Zaljubovskij, et al.
Published: (2020)