other,2-1-P99-1058,ak | To verify <term> hardware designs </term> by <term> model checking </term> , <term> circuit specifications </term> are commonly expressed in the <term> temporal logic CTL </term> . | #30929 To verifyhardware designs by model checking, circuit specifications are commonly expressed in the temporal logic CTL. |