Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования

В работе рассматривается метод формальной спецификации аппаратуры с конвейерной организацией, который основан на пред- и постусловиях стадий выполнения операций. Данный метод может быть использован для функционального тестирования моделей аппаратуры, поскольку на основе спецификаций предлагаемого ви...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Author:	А.С. Камкин
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2009-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_16_2009/isp_16_2009_107/