Для более точного задания параметров программного обеспечения и самих микропроцессоров был разработан ряд формализованных методов ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Фрир Д.N. Построение вычислительных систем на базе перспективных микропроцессоров


Для более точного задания параметров программного обеспечения и самих микропроцессоров был разработан ряд формализованных методов и средств проектирования, к числу которых относится метод LCF-LSM ( Logic of Computable Functions, Logic of Sequential Machines - Логика вычисляемых функций, логика последовательностных машин), разработанный в Лаборатории вычислительных машин Кембриджского университета. Для этого МП был, кроме того, разработан специальный структурный язык ассемблера VISTA и предусмотрен контроль корректности программы.

(cкачать страницу)

Смотреть книгу на libgen

Для более точного задания параметров программного обеспечения и самих микропроцессоров был разработан ряд формализованных методов и средств проектирования, к числу которых относится метод LCF-LSM ( Logic of Computable Functions, Logic of Sequential Machines - Логика вычисляемых функций, логика последовательностных машин), разработанный в Лаборатории вычислительных машин Кембриджского университета. Для этого МП был, кроме того, разработан специальный структурный язык ассемблера VISTA и предусмотрен контроль корректности программы.