1 from configuration 
import *
 
    5     value_int = int(value * 100)
 
    9         return (
"0.%d" % value_int)
 
   12     return (
"%.1f" % value)
 
   14 def expect(condition, error_message):
 
   20     if (synthesizer, design) 
in special_gate_libraries:
 
   21         return special_gate_libraries[(synthesizer, design)]
 
   22     return default_gate_libraries[synthesizer]
 
   25 def execute_hal(synthesizer, design, rebuild_debug, debug, sizes):
 
   26     input_design = path_to_core_collection + \
 
   27         "/" + netlists[synthesizer][design]
 
   29     expect(os.path.isfile(path_to_hal_bin),
 
   30            "could not find HAL binary in: " + path_to_hal_bin)
 
   33     if not os.path.isfile(input_design):
 
   34         print(
"could not find design: " + input_design)
 
   37     command = 
"{} -i {} --dataflow --layer 1 --path {} --gate-library {}.lib".format(
 
   38         path_to_hal_bin, input_design, path_dataflow_out, 
get_gate_library(design, synthesizer))
 
   41         command = 
"{} -i {} --dataflow --layer 1 --path {} --gate-library {}.lib --sizes {}".format(
 
   42             path_to_hal_bin, input_design, path_dataflow_out, 
get_gate_library(design, synthesizer), sizes)
 
   46     if rebuild_debug 
or debug:
 
   47         os.system(
"gdb --args " + command)
 
def get_gate_library(design, synthesizer)
def expect(condition, error_message)
def execute_hal(synthesizer, design, rebuild_debug, debug, sizes)