PROCESSOR WITH SEMANTIC CONTROL

Processor with semantic control relates to computing engineering and can be used at development of means of control of data processing in information-control systems with increased reliability, at designing built-in failure-stable systems, testing systems, verification systems, etc. Device has block of registers for general purposes, block of temporary registers, block of communication registers, block of registers of temporary semantic features, block of registers of semantic data, arithmetical-logical device, adder-subtractor, block of sequence of instructions, block for control of executive module, block for bus control, operative memory device, permanent memory devices, decoder of commands, command counter, counters, shift devices, registers, comparison block, multiplexers, demultiplexor, adders, trigger, elements AND, elements NOT, data bus, outer bus. Technical result is in provision of control of computing process, operative reveal of distortions due to failures of apparatuses and software and increase of reliability of functioning through determination of probability of absence of semantic program defects. Процесор з семантичним контролем належить до обчислювальної техніки і може бути використаний при розробці засобів контролю обробки даних в інформаційно-керуючих системах підвищеної надійності, при проектуванні вбудованих відмовостійких систем, систем тестування, верифікації тощо. Пристрій має блок регістрів загального призначення, блок тимчасових регістрів, блок комунікаційних регістрів, блок регістрів тимчасових семантичних ознак, блок регістрів семантичних даних, арифметико-логічний пристрій, додавач-віднімач, блок черги інструкцій, блок управління виконуючого модуля, блок управління шиною, оперативний запам'ятовуючий пристрій, постійні запам'ятовуючі пристрої, дешифратор команд, лічильник команд, лічильники, зсувачі, регістри, блок порівняння, мультиплексори, демультиплексор, додавачі, тригер, елементи І, елементи НІ, шини даних, зовнішню шину. Технічний результат: забезпечення контролю обчислювального процесу, оперативного виявлення порушень внаслідок збоїв та відмов апаратних і програмних засобів, а також підвищення достовірності функціонування шляхом визначення ймовірності відсутності семантичних програмних дефектів.[Процессор с семантическим контролем относится к вычислительной технике и может быть использован при разработке средств контроля обработки данных в информационно-управляющих системах повышенной надежности, при проектировании вст