設計基準チェック．
　たとえば，出力が衝突している，ファン・アウト数が一定以上，未接続のCMOS入力がある，などをチェックすること．