Added UPF Support

hammer/config/defaults.yml

@@ -294,7 +294,7 @@ vlsi.inputs:
   # Specifies what kind/version/type of power specification to use
   # Valid options:
   # cpf - Use the common power format commonly used in Cadence tools
-  # upf - Use the universal power format, IEEE 1801-2015
+  # upf - Use the universal power format, IEEE 1801-2009
   power_spec_contents: null # Optional: Contents of a power specification in the above type (str)
 
   sram_parameters: [] # SRAM Parameters

hammer/vlsi/hammer_vlsi_impl.py

@@ -2059,11 +2059,51 @@ def sdf_file(self, value: Optional[str]) -> None:
     ### END Generated interface HammerTimingTool ###
 
 class HasUPFSupport(HammerTool):
-    """Mix-in trait with functions useful for tools with UPF style power
-    constraints"""
-    @property
-    def upf_power_specification(self) -> str:
-        raise NotImplementedError("Automatic generation of UPF power specifications is not supported yet.")
+   """Mix-in trait with functions useful for tools with UPF style power constraints"""
+   @property
+   def upf_power_specification(self) -> str:
+        output = [] # type: List[str]
+        domain = "AO"
+        #Header
+        output.append('upf_version 2.0')
+        output.append(f'set_design_top {self.top_module}')
+        vdd = VoltageValue(self.get_setting("vlsi.inputs.supplies.VDD"))
+        #Create Single Power Domain
+        output.append(f'create_power_domain {domain} \\')
+        output.append(f'\t-elements {{.}}')
+        #Get Supply Nets
+        power_nets = self.get_all_power_nets() 
+        ground_nets = self.get_all_ground_nets()
+        #Create Supply Ports 
+        for pg_net in (power_nets+ground_nets):
+            if(pg_net.pin != None):
+                #Create Supply Nets
+                output.append(f'create_supply_net {pg_net.name} -domain {domain}')
+                output.append(f'create_supply_port {pg_net.name} -domain {domain} \\')
+                output.append(f'\t-direction in')
+                #Connect Supply Net
+                output.append(f'connect_supply_net {pg_net.name} -ports {pg_net.name}')
+                #Set Domain Supply Net
+        output.append(f'set_domain_supply_net {domain} \\')
+        output.append(f'\t-primary_power_net {power_nets[0].name} \\')
+        output.append(f'\t-primary_ground_net {ground_nets[0].name}')
+        #Add Port States 
+        for p_net in power_nets:
+            if(p_net.pin != None):
+                output.append(f'add_port_state {p_net.name} \\')
+                output.append(f'\t-state {{default {vdd.value}}}')
+        for g_net in ground_nets:
+            if(g_net.pin != None):
+                output.append(f'add_port_state {g_net.name} \\')
+                output.append(f'\t-state {{default 0.0}}')
+        #Create Power State Table
+        output.append('create_pst pwr_state_table \\')
+        output.append(f'\t-supplies {{{" ".join(map(lambda x: x.name, power_nets))} {" ".join(map(lambda x: x.name, ground_nets))}}}')
+        #Add Power States
+        output.append(f'add_pst_state aon \\')
+        output.append(f'\t-pst {{pwr_state_table}} \\')
+        output.append(f'\t-state {{{" ".join(map(lambda x: "default", power_nets+ground_nets))}}}')
+        return "\n".join(output)
 
 
 class HasCPFSupport(HammerTool):
@@ -2079,37 +2119,26 @@ def cpf_power_specification(self) -> str:
         # Header
         output.append("set_cpf_version 1.0e")
         output.append("set_hierarchy_separator /")
-
-        output.append("set_design {t}".format(t=self.top_module))
-        # Define power and ground nets
+        output.append(f'set_design {self.top_module}')
+        # Define power and ground nets (HARD CODE)
         power_nets = self.get_all_power_nets() # type: List[Supply]
-        ground_nets = self.get_all_ground_nets() # type: List[Supply]
+        ground_nets = self.get_all_ground_nets()# type: List[Supply]
         vdd = VoltageValue(self.get_setting("vlsi.inputs.supplies.VDD")) # type: VoltageValue
-        output.append("create_power_nets -nets {{ {p} }} -voltage {v}".
-                format(p=" ".join(map(lambda x: x.name, power_nets)), v=vdd.value))
-        output.append("create_ground_nets -nets {{ {g} }}".
-                format(g=" ".join(map(lambda x: x.name, ground_nets))))
-
+        output.append(f'create_power_nets -nets {{ {" ".join(map(lambda x: x.name, power_nets))} }} -voltage {vdd.value}')
+        output.append(f'create_ground_nets -nets {{ {" ".join(map(lambda x: x.name, ground_nets))} }}')
         # Define power domain and connections
-        output.append("create_power_domain -name {d} -default".format(d=domain))
+        output.append(f'create_power_domain -name {domain} -default')
         # Assume primary power are first in list
-        output.append("update_power_domain -name {d} -primary_power_net {pp} -primary_ground_net {pg}".
-                format(d=domain, pp=power_nets[0].name, pg=ground_nets[0].name))
+        output.append(f'update_power_domain -name {domain} -primary_power_net {power_nets[0].name} -primary_ground_net {ground_nets[0].name}')
         # Assuming that all power/ground nets correspond to pins
         for pg_net in (power_nets+ground_nets):
             if(pg_net.pin != None):
-                output.append("create_global_connection -domain {d} -net {n} -pins {p}".
-                        format(d=domain, n=pg_net.name, p=pg_net.pin))
-
+                output.append(f'create_global_connection -domain {domain} -net {pg_net.name} -pins {pg_net.pin}')
         # Create nominal operation condtion and power mode
-        output.append("create_nominal_condition -name {c} -voltage {v}".
-                format(c=condition, v=vdd.value))
-        output.append("create_power_mode -name {m} -default -domain_conditions {{{d}@{c}}}".
-                format(m=mode, d=domain, c=condition))
-
+        output.append(f'create_nominal_condition -name {condition} -voltage {vdd.value}')
+        output.append(f'create_power_mode -name {mode} -default -domain_conditions {{{domain}@{condition}}}')
         # Footer
         output.append("end_design")
-
         return "\n".join(output)
 
 class HasSDCSupport(HammerTool):