Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2017
Hauptverfasser:	P. N. Bibilo, V. I. Romanov
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2017
Schriftenreihe:	Control Systems and Computers
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000746821
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Constructive description of monogenic functions in finite dimensional commutative algebras
von: V. S. Shpakivskyi
Veröffentlicht: (2015)

Translation of VHDL Sequential Statements
von: Radziewicz, M.
Veröffentlicht: (2008)

Insertion semantics of VHDL as electronic design languge
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

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

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

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

Synthesis of combined finite state machine with FPGAs
von: A. A. Barkalov, et al.
Veröffentlicht: (2015)

Synthesis of Combined Finite State Machine with FPGAs
von: A. A. Barkalov, et al.
Veröffentlicht: (2016)

Concerning problematic character of statistical verification of theoretical constructs
von: S. Dembitskij
Veröffentlicht: (2014)

Concerning problematic character of statistical verification of theoretical constructs
von: S. Dembitskyi
Veröffentlicht: (2014)

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

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

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

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

Algebraic interpretation of microprogram finite-state machine with datapath of transitions
von: R. M. Babakov, et al.
Veröffentlicht: (2016)

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

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

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

Study of Dynamical Parameters of Vibrational Machine for Compacting the Building Mixtures
von: V. A. Basarab
Veröffentlicht: (2020)

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

Testing the Method of Constructing Production Functions with Variable Coefficients (PFVCE)
von: O. M. Lytvyn, et al.
Veröffentlicht: (2018)

Constructive description of monogenic functions in a harmonic algebra of the third rank
von: Plaksa, S. A., et al.
Veröffentlicht: (2010)

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

Description of the class of strictly differentiable finite-state isometries of the ring Z2
von: D. I. Morozov
Veröffentlicht: (2021)

Description of the class of strictly differentiable finite-state isometries of the ring $Z_2$
von: Morozov, D. I., et al.
Veröffentlicht: (2021)

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

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

Construction of continuous cocycles for the bicrossed product of locally compact groups
von: Podkolzin, G. B., et al.
Veröffentlicht: (2009)

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

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

Construction of inverse transformation function of eddy current devices for a multivariable testing
von: Ya. Teterko, et al.
Veröffentlicht: (2011)

Existence and compactness of solutions of semilinear integro-differential equations with finite delay
von: F. Sahraoui, et al.
Veröffentlicht: (2022)

Existence and compactness of solution of semilinear integro-differential equations with finite delay
von: Sahraoui, F., et al.
Veröffentlicht: (2022)

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

The technique of using Description Logics in the process of constructing a composite service at the functional level
von: O. Zakharova
Veröffentlicht: (2018)

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

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

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

On the group of extensions for the bicrossed product construction for a locally compact group
von: Chapovsky, Yu. A., et al.
Veröffentlicht: (2018)

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