АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ

АВТОМАТИЗАЦИЯ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ

Дается краткий обзор теоретических результатов, полученных в лаборатории логического проектирования ОИПИ НАН Беларуси в области автоматизации логического проектирования дискретных устройств и сверхбольших интегральных схем. Сообщается также о разработанных в лаборатории комплексах программ и система...

Full description

Saved in:

Bibliographic Details
Format:	Article
Language:	Russian
Published:	National Academy of Sciences of Belarus, the United Institute of Informatics Problems 2019-03-01
Series:	Informatika
Online Access:	https://inf.grid.by/jour/article/view/851
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ В МАШИНОСТРОЕНИИ
Published: (2019-03-01)

АВТОМАТИЗАЦИЯ СТРУКТУРНОГО СИНТЕЗА СБОРОЧНО СВАРОЧНЫХ ПРИСПОСОБЛЕНИЙ
Published: (2019-03-01)

СОВРЕМЕННЫЕ ПОДХОДЫ К РАСШИРЕНИЮ АССОРТИМЕНТА ПРОДУКЦИИ МЕТОДОМ ПРОЕКТИРОВАНИЯ
by: Дмитрий Валерьевич Гращенков, et al.
Published: (2023-10-01)

АВТОМАТИЗАЦИЯ ПРОЦЕССА ОЦЕНКИ БЕЗОПАСНОСТИ ОБЪЕКТОВ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Published: (2018-10-01)

АВТОМАТИЗАЦИЯ ВЫБОРА ТЕХНОЛОГИЧЕСКОГО МЕТОДА ПРИ ОРГАНИЗАЦИИ КОМПАКТНОГО ПРОИЗВОДСТВА МАШИНОСТРОИТЕЛЬНОЙ ПРОДУКЦИИ
Published: (2018-04-01)

Clinical and Pathogenetic Parallels of Nonalcoholic Fatty Liver Disease and Gallstone Disease
by: Aleksey O. Bueverov
Published: (2019-03-01)

Drug-Induced Liver Injuries (Clinical Guidelines for Physicians)
by: Vladimir T. Ivashkin, et al.
Published: (2019-03-01)

Hepatoprotection by L-Ornithine L-Aspartate in Non-Alcoholic Fatty Liver Disease
by: Roger F. Butterworth, et al.
Published: (2019-03-01)

Neutrophil to Lymphocyte Ratio as a Predictor of Adverse Outcome in Patients with Decompensated Liver Cirrhosis
by: Valeriy D. Lunkov, et al.
Published: (2019-03-01)

Contemporary Approaches to the Treatment of Gastroesophageal Reflux Disease
by: Boris D. Starostin
Published: (2019-03-01)

Application of Fibrin Glue in the Treatment of Rectal Fistula
by: Sergey A. Frolov, et al.
Published: (2019-03-01)

The Role of Endoscopy in the Treatment of Biliary Complications after Orthotopic Liver Transplantation
by: Alexey V. Kurenkov, et al.
Published: (2019-03-01)

Irritable Bowel Syndrome in Terms of Changes in the Microbiota
by: Vladimir T. Ivashkin, et al.
Published: (2019-03-01)

Assessment of Bowel Preparation Using Low-Volume Sulphate-Based Preparations in Comparison with Macrogols: A Multicenter, Randomized, Comparative Clinical Study of the 3rd Phase
by: Evgeny D. Fedorov, et al.
Published: (2019-03-01)

Morbidity and Mortality Rates from Digestive Diseases in the RF Northwestern Federal District (NWFD) and Measures to Reduce Them
by: Andrey Yu. Baranovsky, et al.
Published: (2019-03-01)

Differential Diagnosis between Ulcerative Colitis and Clostridium Difficile-Associated Disease in a Patient with Autoimmune Polyglandular Syndrome Type 1
by: Elizaveta A. Trush, et al.
Published: (2019-03-01)

Theoretical issues of local government in modern conditions
by: Indira Kokhanovskaya
Published: (2019-03-01)

Comparison of the commodity certification systems in the European Union and in the Eurasian Economic Union
by: Valerii Kardanov, et al.
Published: (2019-03-01)

Management of migration processes in the Russian Federation: analysis and prospects
by: Vladimir Volokh, et al.
Published: (2019-03-01)

New trends in Sino-Russian entrepreneurship
by: Wantao Lai, et al.
Published: (2019-03-01)

Stability, efficiency and financial risks of islamic banks in conditions of instability of global financial system
by: Tatyana Mazurina, et al.
Published: (2019-03-01)

Modern tendencies of functioning of nongovernmental pension funds in the system of obligatory pension insurance
by: Gulnara Fatkhlislamova
Published: (2019-03-01)

Local government in Kazakhstan: an attempt to create a national model
by: Nikolay Yuvitsa
Published: (2019-03-01)

Methods of economic efficiency assessment of the operation stage of the aviation engines life cycle
by: Tatyana Rogulenko, et al.
Published: (2019-03-01)

The team building effectiveness in the modern process of personnel management
by: Sergei Petrov
Published: (2019-03-01)

Strategic foresight of staffing needs of innovative development of socio-economic systems
by: Elena Okunkova
Published: (2019-03-01)

Foreign experience in the implementation of publicprivate partnership projects in the field of health and education
by: Fail Ibyatov
Published: (2019-03-01)

Neo-traditionalism as a factor of neoconservative modernization: specificity of the evolution of power and control
by: Valentin Tyan
Published: (2019-03-01)

ОБОСНОВАНИЕ СОСТАВА И ТЕРРИТОРИАЛЬНОГО РАЗМЕЩЕНИЯ ИСТОЧНИКОВ РАДИОЛОКАЦИОННОЙ ИНФОРМАЦИИ ПРИ ПОСТРОЕНИИ СИСТЕМЫ КОНТРОЛЯ ВОЗДУШНОГО ПРОСТРАНСТВА
Published: (2019-03-01)

BEAUTY IN MATHEMATICAL EDUCATION: SYNERGETIC WORLDVIEW
by: V. A. Testov
Published: (2019-03-01)

ЭВОЛЮЦИЯ СИСТЕМ АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ ИНФОРМАЦИИ
Published: (2019-03-01)

МОДЕЛИРОВАНИЕ ПРОЦЕССОВ ПОИСКА ИНФОРМАЦИИ НА ОСНОВЕ РЕЛЯЦИОННОЙ АЛГЕБРЫ
Published: (2019-03-01)

ИСТОРИЯ СОЗДАНИЯ И РАЗВИТИЯ В БЕЛАРУСИ КОМПЬЮТЕРНЫХ СИСТЕМ РАСПОЗНАВАНИЯ И СИНТЕЗА РЕЧИ
Published: (2019-03-01)

A model of a wireless data network of dynamic information-controlling system
by: S. V. Kruglikov, et al.
Published: (2019-03-01)

СТАТИСТИЧЕСКОЕ ТЕСТИРОВАНИЕ ДВОИЧНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ НА ОСНОВЕ СРАВНЕНИЯ ФРАГМЕНТОВ
Published: (2019-03-01)

АЛГОРИТМ ОПРЕДЕЛЕНИЯ ГЕОДЕЗИЧЕСКИХ КООРДИНАТ ТОЧЕК РАМКИ НОМЕНКЛАТУРНОГО ЛИСТА ТОПОГРАФИЧЕСКОЙ КАРТЫ
Published: (2019-03-01)

ИССЛЕДОВАНИЕ УСТОЙЧИВОСТИ ОПТИМАЛЬНЫХ РАСПИСАНИЙ
Published: (2019-03-01)

The mathematic model of lumbar spine osteochondrosis treatment decisions
by: N. N. Masalitina, et al.
Published: (2019-03-01)

Empire in the mirror of geopolitics
by: Aleksandr Aseev, et al.
Published: (2019-03-01)

Interaction of power and business in Russia
by: Vladimir Moiseev, et al.
Published: (2019-03-01)