Cover Image

Model-driven development of digital system algorithms on programmable logic integrated circuits

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	O. O. Letychevskyi, V. S. Peschanenko, V. S. Kharchenko, V. A. Volkov, O. M. Odarushchenko
Format:	Article
Language:	English
Published:	2020
Series:	Cybernetics and Systems Analysis
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001152216
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

Deductive verification of requirements for event-driven architecture
by: A. Letichevsky, et al.
Published: (2013)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)

Eight-channel spectrometric ADC with programmable logic
by: A. P. Vojter, et al.
Published: (2016)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

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

Qubit method for deductive fault analysis of logic circuits
by: V. I. Khakhanov, et al.
Published: (2017)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Modelling of two-zone accelerator-driven systems
by: V. A. Babenko, et al.
Published: (2012)

Integration approach to formation of the programme of the development of grain multifunctional cooperatives in Ukraine
by: O. V. Nikishyna
Published: (2018)

Programm
Published: (2014)

Integral models in the problems of analysis of electrical circuits
by: A. F. Verlan, et al.
Published: (2016)

Algorithms for solutions inference based on unified logical control models
by: A. E. Litvinenko
Published: (2020)

Technology synthesis control algorithm to ensure stabilization of remotely piloted aircraft for operational programmable trajectories
by: O. A. Mashkov, et al.
Published: (2019)

Experimental Verification of the Self-Driven Algorithms for Solving Max-Sum Labeling Problems
by: V. M. Krygin, et al.
Published: (2023)

The hierarchical model of fuzzy logic output formalization for digital systems evaluating mine workings stability
by: A. I. Slashchev, et al.
Published: (2019)

Innovation-Driven Development of Ukraine in the European Integration Context
by: V. M. Holovatiuk
Published: (2017)

Scientific Programme
Published: (2003)

Automation of digital filter circuit structural transformations
by: V. S. Sitnikov, et al.
Published: (2002)

Automated design of an artificial neuron for field-programmable gate arrays based on an algebra-algorithmic approach
by: Yu. Doroshenko, et al.
Published: (2022)

Substantiation of fuzzy logic algorithms for control problems of a geotechnical systems
by: A. I. Slashchov, et al.
Published: (2019)

Programme of Training Preparation
by: V. I. Kovalova, et al.
Published: (2013)

Modern methods and software systems of molecular modeling and application of behavior algebra
by: O. O. Letychevskyi, et al.
Published: (2022)

Integration of the description logics axiomatic into relational data model
by: Chystiakova, I.S.
Published: (2018)

Integration of the description logics axiomatic into relational data model
by: I. S. Chistjakova
Published: (2017)

Self-driven algorithm for solving supermodular (max, +) labeling problems based on subgradient descent
by: V. M. Kryhin, et al.
Published: (2022)

Fuzzy logic based edge detection in digital images
by: O. I. Moroz
Published: (2016)

Ontologically-driven information systems in the administrative management
by: O. V. Nesterenko
Published: (2019)

Fault Detection in CombinationalLogic Circuits Based on Symmetrically Independent Outputs Groups Checking
by: V. V. Sapozhnikov, et al.
Published: (2020)

Digital Program Control and Complex Component Processing in Performance-Driven Production Engineering
by: Petrova, Desislava, et al.
Published: (2025)

Digital twins in intrusion detection systems based on deep learning
by: Letychevskyi, O.O., et al.
Published: (2025)

Integration of the family of extended description logic languages with relational data model
by: Reznichenko, V.A., et al.
Published: (2018)

Integration of the family of extended description logic languages with relational data model
by: V. A. Reznichenko, et al.
Published: (2016)

Automatic programmable air ozonizer
by: Gubarev, S.P., et al.
Published: (2015)

The semantic model-driven service systems architecture modeling based on domain ontologies
by: A. A. Petrenko, et al.
Published: (2016)

Complex of computer programs for modeling the dynamics electrical circuits on the basis of integrated models
by: K. M. Kliuchka
Published: (2013)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Integration of the description logics with operations at role constructors into relational data model
by: Chystiakova, I.S.
Published: (2018)

Integration of the description logics with operations at role constructors into relational data model
by: I. S. Chistjakova
Published: (2016)

Optimisation of the investment programme of the region development
by: V. V. Ohlikh, et al.
Published: (2013)