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

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

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

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

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

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

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

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

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

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

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

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)

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

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)

Reduction of the Maximum Number of Significant Input Variables in the Microprogram Finite State Machine with Datapath of Transitions
за авторством: R. M. Babakov, та інші
Опубліковано: (2018)

A COMPUTERIZED DIAGNOSTIC COMPLEX FOR RELIABILITY TESTING OF ELECTRIC MACHINES
за авторством: Somka, O. O., та інші
Опубліковано: (2015)

Comparison of compact toroid configurations
за авторством: Bellan, P.M., та інші
Опубліковано: (2000)

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

Finite Larmor radius effects on a test-particle diffusion
за авторством: O. M. Cherniak, та інші
Опубліковано: (2017)

Finite Larmor radius effects on a test-particle diffusion
за авторством: O. M. Cherniak, та інші
Опубліковано: (2017)

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

Left ventricular non-compaction cardiomyopathy
за авторством: N. Oryshchyn, та інші
Опубліковано: (2019)

On the compactness of classes of the solutions of the Dirichlet problem
за авторством: O. P. Dovhopiatyi, та інші
Опубліковано: (2021)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

On constructive description of Gibbs measures for the Potts model on a Cayley tree
за авторством: M. M. Rakhmatullaiev, та інші
Опубліковано: (2021)

INCREASE OF ENERGY EFFICIENCY OF TESTING OF TRACTION ELECTRIC MACHINES OF DIRECT AND PULSATING CURRENT
за авторством: Afanasov, A. M.
Опубліковано: (2015)

Machine-Tool Construction of the Ukrainian SSR in the State Industrial Policy of the first half of the 1920s: Soviet Historiography and Real Events
за авторством: N. Annienkova
Опубліковано: (2018)

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Distinctive numbers of production systems functioning description
за авторством: Pignasty, O.M.
Опубліковано: (2007)

The growth function of the adding machine
за авторством: Skochko, Volodymyr
Опубліковано: (2018)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

CONSTRUCTIVE SOLUTION OF HIGHLY EFFECTIVE PHOTOENERGY MODULE: DEVELOPMENT AND EXPERIMENTAL TESTING
за авторством: Zaitsev, R. V., та інші
Опубліковано: (2019)

Construction of two-stage schedules of processing of products on one machine
за авторством: Ju. A. Zak
Опубліковано: (2018)

Construction, validization and interpretation of sociological test Types of political culture - II
за авторством: S. Dembitskyi
Опубліковано: (2018)

Construction, validization and interpretation of sociological test Types of political culture - II
за авторством: S. Dembitskij
Опубліковано: (2018)

Compact discrete breathers on flat-band networks
за авторством: Danieli, C., та інші
Опубліковано: (2018)

Hypergroups Related to a Pair of Compact Hypergroups
за авторством: Heyer, H., та інші
Опубліковано: (2016)

Compact discrete breathers on flat-band networks
за авторством: C. Danieli, та інші
Опубліковано: (2018)