集成电路设计中，哪个步骤用于验证电路的逻辑正确性（ ）。