論理回路のシミュレーションにおいて，伝搬遅延などを考慮に入れず論理機能だけのシミュレーションを行うこと．