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