def p_width_check(p):
'width_check : LPAR WIDTH timing_port real_triple RPAR'
paths = dict()
paths['nominal'] = p[4]
tcheck = utils.add_tcheck('width', p[3], p[3], paths)
tmp_delay_list.append(tcheck)
p[0] = tmp_delay_list
def p_hold_check(p):
'hold_check : LPAR HOLD timing_port timing_port real_triple RPAR'
paths = dict()
paths['nominal'] = p[5]
tcheck = utils.add_tcheck('hold', p[3], p[4], paths)
tmp_delay_list.append(tcheck)
p[0] = tmp_delay_list
def p_setup_check(p):
'setup_check : LPAR SETUP timing_port timing_port real_triple RPAR'
paths = dict()
paths['nominal'] = p[5]
tcheck = utils.add_tcheck('setup', p[3], p[4], paths)
tmp_delay_list.append(tcheck)
p[0] = tmp_delay_list
def p_recovery_check(p):
'recovery_check : LPAR RECOVERY timing_port timing_port real_triple RPAR'
paths = dict()
paths['nominal'] = p[5]
tcheck = utils.add_tcheck('recovery', p[3], p[4], paths)
tmp_delay_list.append(tcheck)
p[0] = tmp_delay_list
def p_setuphold_check(p):
'setuphold_check : LPAR SETUPHOLD timing_port timing_port real_triple \
real_triple RPAR'
paths = dict()
paths['setup'] = p[5]
paths['hold'] = p[6]
tcheck = utils.add_tcheck('setup', p[3], p[4], paths)
tmp_delay_list.append(tcheck)
p[0] = tmp_delay_list