検証ツール＠法

法に関する検証ツール

最高法規の憲法です！

下位の法は憲法を逸脱できない！


憲法の理念

国民主権、人権尊重、自由平等平和

憲法の条文は理念の詳細化です！


日本国憲法

http://ayosuke.blogspot.jp/2015/07/blog-post_832.html


言語記述＠システム
ハードウェア記述言語　－＞　合成ツール　－＞　ハードウェア

ソフトウェア記述言語　－＞　合成ツール　－＞　ソフトウェア

システム記述言語　－＞　合成ツール　－＞　システム

記述の正当性を検証ツールで確認する。


半導体はチップだが、複雑なシステムです。

システム設計を理解していれば、いろんなシステムに応用できます。

法治システムもひとつのシステムです！


設計ルール違反

システムが正常機能しません。


法は論理の体系です。

つまり、法はシステムです！