Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2017
Автори:	P. N. Bibilo, V. I. Romanov
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2017
Назва видання:	Control Systems and Computers
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000746821
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Constructive description of monogenic functions in finite dimensional commutative algebras
за авторством: V. S. Shpakivskyi
Опубліковано: (2015)

Translation of VHDL Sequential Statements
за авторством: Radziewicz, M.
Опубліковано: (2008)

Insertion semantics of VHDL as electronic design languge
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)

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

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

Upper bounds for imbalance of discrete functions realized by sequences of finite-state machines
за авторством: A. N. Aleksejchuk, та інші
Опубліковано: (2019)

Synthesis of combined finite state machine with FPGAs
за авторством: A. A. Barkalov, та інші
Опубліковано: (2015)

Synthesis of Combined Finite State Machine with FPGAs
за авторством: A. A. Barkalov, та інші
Опубліковано: (2016)

Concerning problematic character of statistical verification of theoretical constructs
за авторством: S. Dembitskij
Опубліковано: (2014)

Concerning problematic character of statistical verification of theoretical constructs
за авторством: S. Dembitskyi
Опубліковано: (2014)

Constructive description of finite nondispersed groups where all subgroups of the nonprimary index are Abelian
за авторством: Chernikov , S. N., та інші
Опубліковано: (1992)

Modeling of stress-strain state by the finite-element method at tests on weldability (PVR-test)
за авторством: K. A. Jushchenko, та інші
Опубліковано: (2016)

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

The Energy-Intensive Testing Sets Selection for Realization of the Increased Power Consumption Mode of the Combinational CMOS Circuits
за авторством: P. N. Bibilo, та інші
Опубліковано: (2016)

Algebraic interpretation of microprogram finite-state machine with datapath of transitions
за авторством: R. M. Babakov, та інші
Опубліковано: (2016)

Construction and Verification of the Constitutive Model of Pure Copper Deformation at Elevated Temperatures
за авторством: Huang, S.H., та інші
Опубліковано: (2019)

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

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

Study of Dynamical Parameters of Vibrational Machine for Compacting the Building Mixtures
за авторством: V. A. Basarab
Опубліковано: (2020)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

Testing the Method of Constructing Production Functions with Variable Coefficients (PFVCE)
за авторством: O. M. Lytvyn, та інші
Опубліковано: (2018)

Constructive description of monogenic functions in a harmonic algebra of the third rank
за авторством: Plaksa, S. A., та інші
Опубліковано: (2010)

Constructive description of classes of harmonic functions with peculiarities on the quasi-conformal arc
за авторством: Andrievsky, V. V., та інші
Опубліковано: (1987)

Description of the class of strictly differentiable finite-state isometries of the ring Z2
за авторством: D. I. Morozov
Опубліковано: (2021)

Description of the class of strictly differentiable finite-state isometries of the ring $Z_2$
за авторством: Morozov, D. I., та інші
Опубліковано: (2021)

Realization of Function of Microprogram Final State Machine Transitions on the Base of Operational Final-State Machine
за авторством: R. M. Babakov, та інші
Опубліковано: (2015)

Microprogram Finite State Machine Modification with the Datapath of Transitions and Replacement of the Input Variables
за авторством: R. M. Babakov, та інші
Опубліковано: (2017)

Construction of continuous cocycles for the bicrossed product of locally compact groups
за авторством: Podkolzin, G. B., та інші
Опубліковано: (2009)

Test-industrial method verification of outrunning degassing of roof rock at the mine &quot;Stepnaya&quot;
за авторством: K. A. Bezruchko, та інші
Опубліковано: (2015)

Constructive description of monogenic functions in a three-dimensional harmonic algebra with one-dimensional radical
за авторством: S. A. Plaksa, та інші
Опубліковано: (2013)

Construction of inverse transformation function of eddy current devices for a multivariable testing
за авторством: Ya. Teterko, та інші
Опубліковано: (2011)

Existence and compactness of solutions of semilinear integro-differential equations with finite delay
за авторством: F. Sahraoui, та інші
Опубліковано: (2022)

Existence and compactness of solution of semilinear integro-differential equations with finite delay
за авторством: Sahraoui, F., та інші
Опубліковано: (2022)

The technique of using Description Logics in the process of constructing a composite service at the functional level
за авторством: Zakharova, O.V.
Опубліковано: (2018)

The technique of using Description Logics in the process of constructing a composite service at the functional level
за авторством: O. Zakharova
Опубліковано: (2018)

Constructive description of monogenic functions in a three-dimensional harmonic algebra with one-dimensional radical
за авторством: Plaksa, S. A., та інші
Опубліковано: (2013)

Determination of the field of efficient application of a microprogrammed finite-state machine with datapath of transitions
за авторством: R. M. Babakov, та інші
Опубліковано: (2018)

Structural classification of the methods of synthesis of a microprogram finite-state machine with datapath of transitions
за авторством: R. M. Babakov, та інші
Опубліковано: (2019)

On the group of extensions for the bicrossed product construction for a locally compact group
за авторством: Chapovsky, Yu. A., та інші
Опубліковано: (2018)

On the Main Constructive Parameters of Seven-Link Spatial Mechanism of Machine for Machining of Parts
за авторством: M. G. Zaljubovskij, та інші
Опубліковано: (2020)