Logic design assistance with temporal logic