luke
/
OpenRAM
mirror of https://github.com/VLSIDA/OpenRAM.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Format fixes

This commit is contained in:
Bugra Onal 2023-02-14 12:44:57 -08:00
parent b70f919a2b
commit 4ec2dd2d1f
1 changed files with 31 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
compiler/characterizer/setup_hold.py
View File

@ -42,6 +42,12 @@ class setup_hold():
self.stim_sp = "sh_stim.sp" self.stim_sp = "sh_stim.sp"
temp_stim = OPTS.openram_temp + self.stim_sp temp_stim = OPTS.openram_temp + self.stim_sp
self.sf = open(temp_stim, "w") self.sf = open(temp_stim, "w")
# creates and opens the measure file for writing
self.meas_sp = "sh_meas.sp"
temp_meas = OPTS.openram_temp + self.meas_sp
self.mf = open(temp_meas, "w")
self.stim = stimuli(self.sf, self.mf, self.corner) self.stim = stimuli(self.sf, self.mf, self.corner)
self.write_header(correct_value) self.write_header(correct_value)
@ -61,8 +67,10 @@ class setup_hold():
correct_value=correct_value) correct_value=correct_value)
self.stim.write_control(4 * self.period) self.stim.write_control(4 * self.period)
self.sf.write(".include {}".format(temp_meas))
self.sf.close() self.sf.close()
self.mf.close()
def write_header(self, correct_value): def write_header(self, correct_value):
""" Write the header file with all the models and the power supplies. """ """ Write the header file with all the models and the power supplies. """
@ -131,7 +139,7 @@ class setup_hold():
else: else:
dout_rise_or_fall = "FALL" dout_rise_or_fall = "FALL"
self.sf.write("\n* Measure statements for pass/fail verification\n") self.mf.write("\n* Measure statements for pass/fail verification\n")
trig_name = "clk" trig_name = "clk"
targ_name = "Q" targ_name = "Q"
trig_val = targ_val = 0.5 * self.vdd_voltage trig_val = targ_val = 0.5 * self.vdd_voltage
@ -168,29 +176,33 @@ class setup_hold():
target_time=feasible_bound, target_time=feasible_bound,
correct_value=correct_value) correct_value=correct_value)
self.stim.run_sim(self.stim_sp) self.stim.run_sim(self.stim_sp)
ideal_clk_to_q = convert_to_float(parse_spice_list("timing", "clk2q_delay")) ideal_clk_to_q = convert_to_float(parse_spice_list("timing",
"clk2q_delay"))
# We use a 1/2 speed clock for some reason... # We use a 1/2 speed clock for some reason...
setuphold_time = (feasible_bound - 2 * self.period) setuphold_time = (feasible_bound - 2 * self.period)
if mode == "SETUP": # SETUP is clk-din, not din-clk if mode == "SETUP": # SETUP is clk-din, not din-clk
passing_setuphold_time = -1 * setuphold_time passing_setuphold_time = -1 * setuphold_time
else: else:
passing_setuphold_time = setuphold_time passing_setuphold_time = setuphold_time
debug.info(2, "*** {0} CHECK: {1} Ideal Clk-to-Q: {2} Setup/Hold: {3}".format(mode, debug.info(2, "*** {0} CHECK: {1} Ideal Clk-to-Q: {2} Setup/Hold: {3}"
correct_value, .format(mode,
ideal_clk_to_q, correct_value,
setuphold_time)) ideal_clk_to_q,
setuphold_time))
if type(ideal_clk_to_q)!=float: if type(ideal_clk_to_q)!=float:
debug.error("Initial hold time fails for data value feasible " debug.error("Initial hold time fails for data value feasible "
"bound {0} Clk-to-Q {1} Setup/Hold {2}".format(feasible_bound, "bound {0} Clk-to-Q {1} Setup/Hold {2}"
ideal_clk_to_q, .format(feasible_bound,
setuphold_time), ideal_clk_to_q,
setuphold_time),
2) 2)
debug.info(2, "Checked initial {0} time {1}, data at {2}, clock at {3} ".format(mode, debug.info(2, "Checked initial {0} time {1}, data at {2}, clock at {3} "
setuphold_time, .format(mode,
feasible_bound, setuphold_time,
2 * self.period)) feasible_bound,
2 * self.period))
while True: while True:
target_time = (feasible_bound + infeasible_bound) / 2 target_time = (feasible_bound + infeasible_bound) / 2
@ -198,11 +210,12 @@ class setup_hold():
target_time=target_time, target_time=target_time,
correct_value=correct_value) correct_value=correct_value)
debug.info(2, "{0} value: {1} Target time: {2} Infeasible: {3} Feasible: {4}".format(mode, debug.info(2, "{0} value: {1} Target time: {2} Infeasible: {3} Feasible: {4}"
correct_value, .format(mode,
target_time, correct_value,
infeasible_bound, target_time,
feasible_bound)) infeasible_bound,
feasible_bound))
self.stim.run_sim(self.stim_sp) self.stim.run_sim(self.stim_sp)
clk_to_q = convert_to_float(parse_spice_list("timing", "clk2q_delay")) clk_to_q = convert_to_float(parse_spice_list("timing", "clk2q_delay"))