【図1】実施例１における安全保護系アプリロジックの構成を示すブロック図。

【図2】実施例１におけるアプリロジックの処理手順を示すフロー図。

【図3】実施例１における静的検証を行う場合の検証方法を示す概念図。

【図4】実施例１における動的検証を行う場合の検証方法を示す概念図。

【図5】実施例１におけるアプリロジックのサブモジュールの検証方法を示す表図。

【図6】実施例１における回路規模が大きく処理内容が複雑なマクロロジックの構成を示すブロック図。

【図7】実施例１における回路規模が大きく処理内容が複雑なマクロロジックの処理手順を示すフロー図。

【図8】実施例１におけるマクロロジックのサブモジュールの検証方法を示す表図。

【図9】実施例１における単精度浮動小数点数演算ロジックの構成を示すブロック図。

【図10】実施例１における単精度浮動小数点数演算ロジックのサブモジュールの検証方法を示す表図。

【図11】実施例２におけるアプリロジックの構成を示すブロック図。

【図12】実施例３におけるアプリ開発画面の平面図。

【図13】実施例３におけるソフトウェアマクロライブラリとマクロロジックライブラリの一対一対応関係を示す概念図。

【図14】実施例３におけるアプリロジック設計手法を示す概念図。

【図15】実施例４におけるアプリ開発画面の平面図。

【図16】実施例４におけるアプリロジック設計手法を示す概念図。

【図17】実施例５におけるアプリロジック設計手法を示す概念図。

【図18】実施例６におけるアプリロジック設計手法を示す概念図。