http://mix.kumikomi.net/index.php?action=history&feed=atom&title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0 2026-05-15T05:39:51Z このウィキのこのページに関する変更履歴 MediaWiki 1.13.2 http://mix.kumikomi.net/index.php?title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0&diff=8652&oldid=prev 2009-03-16T07:30:46Z

<p></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2009年3月16日 (月) 07:30の版</td> </tr> <tr><td colspan="2" class="diff-lineno">4 行</td> <td colspan="2" class="diff-lineno">4 行</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>　設計された順序回路が，特定の設計仕様（プロパティ）を満たしているかどうかを判定すること．モデル・チェッキングと呼ぶ場合もある．</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>　設計された順序回路が，特定の設計仕様（プロパティ）を満たしているかどうかを判定すること．モデル・チェッキングと呼ぶ場合もある．</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>　ある状態遷移表現で記述された設計に対して，別の状態遷移の形式で与えられた仕様，あるいは時相論理で表現された仕様をつき合わせて検証する．実際には，設計の遷移状態を一つずつたどり，各状態が与えられた仕様を満たしているかどうかを確認する．プロパティ・チェッキングの検証対象回路は，動作が複雑で論理シミュレーションだけでは検証が困難な制御回路などである．</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>　ある状態遷移表現で記述された設計に対して，別の状態遷移の形式で与えられた仕様，あるいは時相論理で表現された仕様をつき合わせて検証する．実際には，設計の遷移状態を一つずつたどり，各状態が与えられた仕様を満たしているかどうかを確認する．プロパティ・チェッキングの検証対象回路は，動作が複雑で論理シミュレーションだけでは検証が困難な制御回路などである．</div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;br&gt;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;br&gt;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;br&gt;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;center&gt;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[画像:lsi_f77.gif]]&lt;br&gt;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;br&gt;</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">'''図　プロパティ・チェッキング'''</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;/center&gt;</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td></tr> <!-- diff generator: internal 2026-05-15 05:39:51 --> </table>

Worker http://mix.kumikomi.net/index.php?title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0&diff=8352&oldid=prev 2009-03-13T08:20:47Z

<p></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2009年3月13日 (金) 08:20の版</td> </tr> <tr><td colspan="2" class="diff-lineno">14 行</td> <td colspan="2" class="diff-lineno">14 行</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[フォーマル・ベリファイア]]</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[フォーマル・ベリファイア]]</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>[[Category:組み込み技術全般]] [[Category:LSI]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>[[Category:組み込み技術全般<ins class="diffchange diffchange-inline">|フロハティチェッキンク</ins>]] [[Category:LSI<ins class="diffchange diffchange-inline">|フロハティチェッキンク</ins>]]</div></td></tr> <!-- diff generator: internal 2026-05-15 05:39:51 --> </table>

Kumikomiadmin http://mix.kumikomi.net/index.php?title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0&diff=7911&oldid=prev 2009-03-13T07:50:07Z

<p>1 版</p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2009年3月13日 (金) 07:50の版</td> </tr> <!-- diff generator: internal 2026-05-15 05:39:51 --> </table>

Kumikomiadmin http://mix.kumikomi.net/index.php?title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0&diff=7910&oldid=prev 2009-03-13T07:40:00Z

<p></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2009年3月13日 (金) 07:40の版</td> </tr> <tr><td colspan="2" class="diff-lineno">7 行</td> <td colspan="2" class="diff-lineno">7 行</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">&lt;!-- 【著作権者】西久保 靖彦氏 --&gt;</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>&lt;br&gt;</div></td></tr> <!-- diff generator: internal 2026-05-15 05:39:51 --> </table>

Kumikomiadmin http://mix.kumikomi.net/index.php?title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0&diff=7027&oldid=prev 2009-03-13T07:38:51Z

<p>1 版</p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2009年3月13日 (金) 07:38の版</td> </tr> <!-- diff generator: internal 2026-05-15 05:39:51 --> </table>

Kumikomiadmin http://mix.kumikomi.net/index.php?title=%E3%83%97%E3%83%AD%E3%83%91%E3%83%86%E3%82%A3%E3%83%BB%E3%83%81%E3%82%A7%E3%83%83%E3%82%AD%E3%83%B3%E3%82%B0&diff=7026&oldid=prev 2009-03-13T03:00:01Z

<p></p> <p><b>新規ページ</b></p><div>プロパティ・チェッキング【Property Checking】<br /> &lt;br&gt;<br /> &lt;br&gt;<br /> 　設計された順序回路が，特定の設計仕様（プロパティ）を満たしているかどうかを判定すること．モデル・チェッキングと呼ぶ場合もある．<br /> 　ある状態遷移表現で記述された設計に対して，別の状態遷移の形式で与えられた仕様，あるいは時相論理で表現された仕様をつき合わせて検証する．実際には，設計の遷移状態を一つずつたどり，各状態が与えられた仕様を満たしているかどうかを確認する．プロパティ・チェッキングの検証対象回路は，動作が複雑で論理シミュレーションだけでは検証が困難な制御回路などである．<br /> &lt;br&gt;<br /> &lt;br&gt;<br /> 【出典】西久保 靖彦；基本システムLSI用語辞典，CQ出版社，2000年5月．<br /> <br /> &lt;br&gt;<br /> &lt;br&gt;<br /> == 関連項目 ==<br /> * [[時相論理]]<br /> * [[フォーマル・ベリファイア]]<br /> <br /> [[Category:組み込み技術全般]] [[Category:LSI]]</div>

Kumikomiadmin