# See LICENSE for licensing information. # # Copyright (c) 2016-2022 Regents of the University of California and The Board # of Regents for the Oklahoma Agricultural and Mechanical College # (acting for and on behalf of Oklahoma State University) # All rights reserved. # """ This is a DRC/LVS interface for calibre. It implements completely independently three functions: run_drc, run_lvs, run_pex, that perform these functions in batch mode and will return true/false if the result passes. All of the setup (the rules, temp dirs, etc.) should be contained in this file. Replacing with another DRC/LVS tool involves rewriting this code to work properly. Porting to a new technology in Calibre means pointing the code to the proper DRC and LVS rule files. """ import os import re from openram import debug from openram import OPTS from .run_script import run_script # Keep track of statistics num_drc_runs = 0 num_lvs_runs = 0 num_pex_runs = 0 def write_drc_script(cell_name, gds_name, extract, final_verification=False, output_path=None): """ Write a Calibre runset file and script to run DRC """ # the runset file contains all the options to run calibre if not output_path: output_path = OPTS.openram_temp from openram.tech import drc drc_rules = drc["drc_rules"] drc_runset = { 'drcRulesFile': drc_rules, 'drcRunDir': output_path, 'drcLayoutPaths': gds_name, 'drcLayoutPrimary': cell_name, 'drcLayoutSystem': 'GDSII', 'drcResultsformat': 'ASCII', 'drcResultsFile': cell_name + ".drc.results", 'drcSummaryFile': cell_name + ".drc.summary", 'cmnFDILayerMapFile': drc["layer_map"], 'cmnFDIUseLayerMap': 1 } # write the runset file f = open(output_path + "drc_runset", "w") for k in sorted(iter(drc_runset.keys())): f.write("*{0}: {1}\n".format(k, drc_runset[k])) f.close() # Create an auxiliary script to run calibre with the runset run_file = output_path + "run_drc.sh" f = open(run_file, "w") f.write("#!/bin/sh\n") cmd = "{0} -gui -drc drc_runset -batch".format(OPTS.drc_exe[1]) f.write(cmd) f.write("\n") f.close() os.system("chmod u+x {}".format(run_file)) return drc_runset def write_lvs_script(cell_name, gds_name, sp_name, final_verification=False, output_path=None): """ Write a Calibre runset file and script to run LVS """ if not output_path: output_path = OPTS.openram_temp from openram.tech import drc lvs_rules = drc["lvs_rules"] lvs_runset = { 'lvsRulesFile': lvs_rules, 'lvsRunDir': output_path, 'lvsLayoutPaths': gds_name, 'lvsLayoutPrimary': cell_name, 'lvsSourcePath': sp_name, 'lvsSourcePrimary': cell_name, 'lvsSourceSystem': 'SPICE', 'lvsSpiceFile': "{}.spice".format(cell_name), 'lvsPowerNames': 'vdd', 'lvsGroundNames': 'gnd', 'lvsIncludeSVRFCmds': 1, 'lvsIgnorePorts': 1, 'lvsERCDatabase': cell_name + ".erc.results", 'lvsERCSummaryFile': cell_name + ".erc.summary", 'lvsReportFile': cell_name + ".lvs.report", 'lvsMaskDBFile': cell_name + ".maskdb", 'cmnFDILayerMapFile': drc["layer_map"], 'cmnFDIUseLayerMap': 1, 'cmnTranscriptFile': './lvs.log', 'cmnTranscriptEchoToFile': 1, 'lvsRecognizeGates': 'NONE', } # FIXME: Remove when vdd/gnd connected # 'cmnVConnectNamesState' : 'ALL', #connects all nets with the same namee # FIXME: Remove when vdd/gnd connected # 'lvsAbortOnSupplyError' : 0 if not final_verification or not OPTS.route_supplies: lvs_runset['cmnVConnectReport']=1 lvs_runset['cmnVConnectNamesState']='SOME' lvs_runset['cmnVConnectNames']='vdd gnd' else: lvs_runset['lvsAbortOnSupplyError']=1 # write the runset file f = open(output_path + "lvs_runset", "w") for k in sorted(iter(lvs_runset.keys())): f.write("*{0}: {1}\n".format(k, lvs_runset[k])) f.close() # Create an auxiliary script to run calibre with the runset run_file = output_path + "run_lvs.sh" f = open(run_file, "w") f.write("#!/bin/sh\n") cmd = "{0} -gui -lvs lvs_runset -batch".format(OPTS.lvs_exe[1]) f.write(cmd) f.write("\n") f.close() os.system("chmod u+x {}".format(run_file)) return lvs_runset def write_pex_script(cell_name, extract, output, final_verification=False, output_path=None): """ Write a pex script that can either just extract the netlist or the netlist+parasitics """ if not output_path: output_path = OPTS.openram_temp if not output: output = cell_name + ".pex.sp" # check if lvs report has been done # if not run drc and lvs if not os.path.isfile(output_path + cell_name + ".lvs.report"): gds_name = output_path +"/"+ cell_name + ".gds" sp_name = output_path +"/"+ cell_name + ".sp" run_drc(cell_name, gds_name, sp_name) run_lvs(cell_name, gds_name, sp_name) from openram.tech import drc pex_rules = drc["xrc_rules"] pex_runset = { 'pexRulesFile': pex_rules, 'pexRunDir': output_path, 'pexLayoutPaths': cell_name + ".gds", 'pexLayoutPrimary': cell_name, 'pexSourcePath': cell_name + ".sp", 'pexSourcePrimary': cell_name, 'pexReportFile': cell_name + ".pex.report", 'pexPexNetlistFile': output, 'pexPexReportFile': cell_name + ".pex.report", 'pexMaskDBFile': cell_name + ".maskdb", 'cmnFDIDEFLayoutPath': cell_name + ".def", 'cmnRunMT': "1", 'cmnNumTurbo': "16", 'pexPowerNames': "vdd", 'pexGroundNames': "gnd", 'pexPexGroundName': "1", 'pexPexGroundNameValue': "gnd", 'pexPexSeparator': "1", 'pexPexSeparatorValue': "_", 'pexPexNetlistNameSource': 'SOURCENAMES', 'pexSVRFCmds': '{SOURCE CASE YES} {LAYOUT CASE YES}', 'pexIncludeCmdsType': 'SVRF', } # write the runset file f = open(output_path + "pex_runset", "w") for k in sorted(iter(pex_runset.keys())): f.write("*{0}: {1}\n".format(k, pex_runset[k])) f.close() # write the rules file f = open(output_path + "pex_rules", "w") f.write('// Rules file, created by OpenRAM, (c) Bob Vanhoof\n') f.write('\n') f.write('LAYOUT PATH "' + output_path + cell_name + '.gds"\n') f.write('LAYOUT PRIMARY ' + cell_name + '\n') f.write('LAYOUT SYSTEM GDSII\n') f.write('\n') f.write('SOURCE PATH "' + output_path + cell_name + '.sp"\n') f.write('SOURCE PRIMARY ' + cell_name +'\n') f.write('SOURCE SYSTEM SPICE\n') f.write('SOURCE CASE YES\n') f.write('\n') f.write('MASK SVDB DIRECTORY "svdb" QUERY XRC\n') f.write('\n') f.write('LVS REPORT "' + output_path + cell_name + '.pex.report"\n') f.write('LVS REPORT OPTION NONE\n') f.write('LVS FILTER UNUSED OPTION NONE SOURCE\n') f.write('LVS FILTER UNUSED OPTION NONE LAYOUT\n') f.write('LVS POWER NAME vdd\n') f.write('LVS GROUND NAME gnd\n') f.write('LVS RECOGNIZE GATES ALL\n') f.write('LVS CELL SUPPLY YES\n') f.write('LVS PUSH DEVICES SEPARATE PROPERTIES YES\n') f.write('\n') f.write('PEX NETLIST "' + output + '" HSPICE 1 SOURCENAMES GROUND gnd\n') f.write('PEX REDUCE ANALOG NO\n') f.write('PEX NETLIST UPPERCASE KEYWORDS NO\n') f.write('PEX NETLIST VIRTUAL CONNECT YES\n') f.write('PEX NETLIST NOXREF NET NAMES YES\n') f.write('PEX NETLIST MUTUAL RESISTANCE YES\n') f.write('PEX NETLIST EXPORT PORTS YES\n') f.write('PEX PROBE FILE "probe_file"\n') f.write('\n') f.write('VIRTUAL CONNECT COLON NO\n') f.write('VIRTUAL CONNECT REPORT NO\n') f.write('VIRTUAL CONNECT NAME vdd gnd\n') f.write('\n') f.write('DRC ICSTATION YES\n') f.write('\n') f.write('INCLUDE "'+ pex_rules +'"\n') f.close() # write probe file # TODO: get from cell name f = open(output_path + "probe_file", "w") f.write('CELL cell_1rw\n') f.write(' Q 0.100 0.510 11\n') f.write(' Q_bar 0.520 0.510 11\n') f.close() # Create an auxiliary script to run calibre with the runset run_file = output_path + "run_pex.sh" f = open(run_file, "w") f.write("#!/bin/sh\n") cmd = "{0} -lvs -hier -genhcells -spice svdb/{1}.sp -turbo -hyper cmp {2}".format(OPTS.pex_exe[1], cell_name, 'pex_rules') f.write(cmd) f.write("\n") cmd = "sed '/dummy/d' svdb/{0}.hcells | sed '/replica_column/d' | sed '/replica_cell/d' > hcell_file".format(cell_name) f.write(cmd) f.write("\n") cmd = "{0} -xrc -pdb -turbo -xcell hcell_file -full -rc {1}".format(OPTS.pex_exe[1], 'pex_rules') f.write(cmd) f.write("\n") cmd = "{0} -xrc -fmt -full {1}".format(OPTS.pex_exe[1], 'pex_rules') f.write(cmd) f.write("\n") f.close() os.system("chmod u+x {}".format(run_file)) return pex_runset def run_drc(cell_name, gds_name, sp_name, extract=False, final_verification=False): """Run DRC check on a given top-level name which is implemented in gds_name.""" global num_drc_runs num_drc_runs += 1 drc_runset = write_drc_script(cell_name, gds_name, extract, final_verification, OPTS.openram_temp) (outfile, errfile, resultsfile) = run_script(cell_name, "drc") # check the result for these lines in the summary: # TOTAL Original Layer Geometries: 106 (157) # TOTAL DRC RuleChecks Executed: 156 # TOTAL DRC Results Generated: 0 (0) try: f = open(OPTS.openram_temp + drc_runset['drcSummaryFile'], "r") except: debug.error("Unable to retrieve DRC results file. Is calibre set up?", 1) results = f.readlines() f.close() # those lines should be the last 3 results = results[-3:] geometries = int(re.split(r'\W+', results[0])[5]) rulechecks = int(re.split(r'\W+', results[1])[4]) errors = int(re.split(r'\W+', results[2])[5]) # always display this summary result_str = "{0}\tGeometries: {1}\tChecks: {2}\tErrors: {3}".format(cell_name, geometries, rulechecks, errors) if errors > 0: debug.warning(result_str) else: debug.info(1, result_str) return errors def run_lvs(cell_name, gds_name, sp_name, final_verification=False): """Run LVS check on a given top-level name which is implemented in gds_name and sp_name. Final verification will ensure that there are no remaining virtual conections. """ global num_lvs_runs num_lvs_runs += 1 lvs_runset = write_lvs_script(cell_name, gds_name, sp_name, final_verification, OPTS.openram_temp) (outfile, errfile, resultsfile) = run_script(cell_name, "lvs") # check the result for these lines in the summary: f = open(OPTS.openram_temp + lvs_runset['lvsReportFile'], "r") results = f.readlines() f.close() # NOT COMPARED # CORRECT # INCORRECT test = re.compile("# CORRECT #") correct = list(filter(test.search, results)) test = re.compile("NOT COMPARED") notcompared = list(filter(test.search, results)) test = re.compile("# INCORRECT #") incorrect = list(filter(test.search, results)) # Errors begin with "Error:" test = re.compile(r'\s+Error:') errors = list(filter(test.search, results)) for e in errors: debug.error(e.strip("\n")) summary_errors = len(notcompared) + len(incorrect) + len(errors) # also check the extraction summary file f = open(OPTS.openram_temp + lvs_runset['lvsReportFile'] + ".ext", "r") results = f.readlines() f.close() test = re.compile("ERROR:") exterrors = list(filter(test.search, results)) for e in exterrors: debug.error(e.strip("\n")) test = re.compile("WARNING:") extwarnings = list(filter(test.search, results)) for e in extwarnings: debug.warning(e.strip("\n")) # MRG - 9/26/17 - Change this to exclude warnings because of # multiple labels on different pins in column mux. ext_errors = len(exterrors) ext_warnings = len(extwarnings) # also check the output file f = open(outfile, "r") results = f.readlines() f.close() # Errors begin with "ERROR:" test = re.compile("ERROR:") stdouterrors = list(filter(test.search, results)) for e in stdouterrors: debug.error(e.strip("\n")) out_errors = len(stdouterrors) total_errors = summary_errors + out_errors + ext_errors # always display this summary result_str = "{0}\tSummary: {1}\tOutput: {2}\tExtraction: {3}".format(cell_name, summary_errors, out_errors, ext_errors) if total_errors > 0: debug.warning(result_str) else: debug.info(1, result_str) return total_errors def run_pex(cell_name, gds_name, sp_name, output=None, final_verification=False): """Run pex on a given top-level name which is implemented in gds_name and sp_name. """ global num_pex_runs num_pex_runs += 1 write_pex_script(cell_name, True, output, final_verification, OPTS.openram_temp) (outfile, errfile, resultsfile) = run_script(cell_name, "pex") # also check the output file f = open(outfile, "r") results = f.readlines() f.close() # Errors begin with "ERROR:" test = re.compile("ERROR:") stdouterrors = list(filter(test.search, results)) for e in stdouterrors: debug.error(e.strip("\n")) out_errors = len(stdouterrors) assert(os.path.isfile(output)) correct_port(cell_name, output, sp_name) return out_errors def correct_port(name, output_file_name, ref_file_name): pex_file = open(output_file_name, "r") contents = pex_file.read() # locate the start of circuit definition line match = re.search(".subckt " + str(name) + ".*", contents) match_index_start = match.start() pex_file.seek(match_index_start) rest_text = pex_file.read() # locate the end of circuit definition line match = re.search(r'\* \n', rest_text) match_index_end = match.start() # store the unchanged part of pex file in memory pex_file.seek(0) part1 = pex_file.read(match_index_start) pex_file.seek(match_index_start + match_index_end) part2 = pex_file.read() pex_file.close() # obtain the correct definition line from the original spice file sp_file = open(ref_file_name, "r") contents = sp_file.read() circuit_title = re.search(".SUBCKT " + str(name) + ".*\n", contents) circuit_title = circuit_title.group() sp_file.close() # write the new pex file with info in the memory output_file = open(output_file_name, "w") output_file.write(part1) output_file.write(circuit_title) output_file.write(part2) output_file.close() def print_drc_stats(): debug.info(1, "DRC runs: {0}".format(num_drc_runs)) def print_lvs_stats(): debug.info(1, "LVS runs: {0}".format(num_lvs_runs)) def print_pex_stats(): debug.info(1, "PEX runs: {0}".format(num_pex_runs))