udb 0.1.9 → 0.1.13

data/.data/spec/std/isa/proc_cert_model/MC200-32.yaml

@@ -1,60 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: MC200-32
-long_name: Intermediate 32-bit Microcontroller Certificate
-class:
-  $ref: proc_cert_class/MC.yaml#
-
-# Semantic versions within the model
-versions:
-  - version: "1.0.0"
-
-# MXLEN used by rakefile
-base: 32
-
-$inherits: "proc_cert_model/MC100-32.yaml#"
-
-revision_history:
-  - revision: "0.1.0"
-    date: "2024-11-27"
-    changes:
-      - First created
-
-introduction: |
-  The MC200 Processor Certificate targets intermediate RISC-V microcontrollers.
-  It supports either a 32-bit (MC200-32) or 64-bit (MC200-64) base ISA.
-  The MC200 adds the following mandatory extensions to the MC100:
-
-  * M extension
-  * U extension (User-mode privilege level)
-  * Zihpm extension (hardware performance counters)
-  * B (Bitfield) extension
-  * Zce extension (additional 16-bit instructions suitable for microcontrollers)
-  * CLIC extension (if/when ratified)
-
-# Specification versions
-tsc_profile_release: null # None for MC200
-unpriv_isa_manual_revision: "20191213"
-priv_isa_manual_revision: "20190608-Priv-MSU-Ratified"
-debug_manual_revision: "0.13.2"
-
-# TODO: No ratified CLIC yet. It will be multiple extensions.
-
-extensions:
-  Zicntr:
-    presence: mandatory
-  M:
-    presence: mandatory
-  B:
-    presence: mandatory
-  Zce:
-    presence: mandatory
-  U:
-    presence: mandatory
-  Zihpm:
-    presence: mandatory

data/.data/spec/std/isa/proc_cert_model/MC200-64.yaml

@@ -1,21 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: MC200-64
-long_name: Intermediate 64-bit Microcontroller Certificate
-class:
-  $ref: proc_cert_class/MC.yaml#
-
-$inherits: "proc_cert_model/MC200-32.yaml#"
-
-# MXLEN used by rakefile
-base: 64
-
-param_constraints:
-  MXLEN:
-    schema:
-      const: 64

data/.data/spec/std/isa/proc_cert_model/MC300-32.yaml

@@ -1,40 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: MC300-32
-long_name: Advanced 32-bit Microcontroller Certificate
-class:
-  $ref: proc_cert_class/MC.yaml#
-
-# Semantic versions within the model
-versions:
-  - version: "1.0.0"
-
-# MXLEN used by rakefile
-base: 32
-
-$inherits: "proc_cert_model/MC200-32.yaml#"
-
-revision_history:
-  - revision: "0.1.0"
-    date: "2024-11-27"
-    changes:
-      - First created
-
-introduction: |
-  The MC300 Processor Certificate targets advanced RISC-V microcontrollers.
-  It supports either a 32-bit (MC300-32) or 64-bit (MC300-64) base ISA.
-  The MC300 adds the following mandatory extensions to the MC200:
-
-  * S extension (Supervisor-mode privilege level)
-  * Sspmp extension (S-mode PMP, not ratified yet)
-
-# TODO: No ratified sPMP yet.
-
-extensions:
-  S:
-    presence: mandatory

data/.data/spec/std/isa/proc_cert_model/MC300-64.yaml

@@ -1,21 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: MC300-64
-long_name: Advanced 64-bit Microcontroller Certificate
-class:
-  $ref: proc_cert_class/MC.yaml#
-
-$inherits: "proc_cert_model/MC300-32.yaml#"
-
-# MXLEN used by rakefile
-base: 64
-
-param_constraints:
-  MXLEN:
-    schema:
-      const: 64

data/.data/spec/std/isa/proc_cert_model/RVI20-32.yaml

@@ -1,39 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: RVI20-32
-long_name: 32-bit RVI20 Certificate
-class:
-  $ref: proc_cert_class/RVI.yaml#
-
-# MXLEN
-base: 32
-
-# Semantic versions within the model
-versions:
-  - version: "1.0.0"
-
-revision_history:
-  - revision: "0.1.0"
-    date: "2025-07-03"
-    changes:
-      - Created
-
-introduction: |
-  The RVI20-32 processor certificate corresponds to the RVI20U32 profile.
-
-# Specification versions
-tsc_profile_release:
-  $ref: profile_release/RVI20.yaml#
-unpriv_isa_manual_revision: "20240411"
-
-in_scope_priv_modes:
-  - U
-
-extensions:
-  $inherits:
-    - "profile/RVI20U32.yaml#/extensions"

data/.data/spec/std/isa/proc_cert_model/RVI20-64.yaml

@@ -1,19 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../schemas/proc_cert_model_schema.json
-
-$schema: proc_cert_model_schema.json#
-kind: processor certificate model
-name: RVI20-64
-long_name: 64-bit RVI20 Certificate
-class:
-  $ref: proc_cert_class/RVI.yaml#
-
-$inherits: "proc_cert_model/RVI20-32.yaml#"
-
-# MXLEN
-base: 64
-
-introduction: |
-  The RVI20-64 processor certificate corresponds to the RVI20U64 profile.

data/.data/spec/std/isa/profile/RVA23M64.yaml

@@ -1,24 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/profile_schema.json
-
-$schema: profile_schema.json#
-kind: profile
-name: RVA23M64
-long_name: M-mode extensions for version 23 of the 64-bit Apps Processor profile (not ratified)
-marketing_name: RVA23M64
-mode: M
-base: 64
-release: { $ref: profile_release/RVA23.yaml# }
-introduction: |
-  The RVA23M64 profile specifies the ISA features available to machine-mode
-  execution environments in 64-bit applications processors.
-
-  [NOTE]
-  The RVA23M64 profile is not a ratified profile by RISC-V International.
-  It only exists here to support certificates based on RVA23 Profile Release having M-mode extensions.
-extensions:
-  $inherits:
-    - "profile/RVB23M64.yaml#/extensions"
-    - "profile/RVA23S64.yaml#/extensions"

data/.data/spec/std/isa/profile/RVB23M64.yaml

@@ -1,86 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# yaml-language-server: $schema=../../../schemas/profile_schema.json
-
-$schema: profile_schema.json#
-kind: profile
-name: RVB23M64
-long_name: M-mode extensions for version 23 of the 64-bit Bespoke Apps Processor profile (not ratified)
-marketing_name: RVB23M64
-mode: M
-base: 64
-release: { $ref: profile_release/RVB23.yaml# }
-introduction: |
-  The RVB23M64 profile specifies the ISA features available to machine-mode
-  execution environments in 64-bit applications processors.
-
-  [NOTE]
-  The RVB23M64 profile is not a ratified profile by RISC-V International.
-  It only exists here to support certificates based on RVB23 Profile Release having M-mode extensions.
-extensions:
-  $inherits:
-    - "profile/RVB23S64.yaml#/extensions"
-
-  #########################################################################
-  # MANDATORY extensions in RVB23 (and RVA23)
-  #########################################################################
-  Sm:
-    version: "~> 1.13"
-    presence: mandatory
-
-  #########################################################################
-  # OPTIONAL LOCALIZED extensions in RVB23M64
-  #########################################################################
-
-  # None
-
-  #########################################################################
-  # OPTIONAL DEVELOPMENT extensions in RVB23M64
-  #########################################################################
-
-  # None
-
-  #########################################################################
-  # OPTIONAL EXPANSION extensions in RVB23M64
-  #########################################################################
-
-  # None
-
-  #########################################################################
-  # OPTIONAL EXPANSION extensions in both RVB23M64 and RVA23M64
-  #########################################################################
-
-  # None
-
-requirements:
-  param:
-    allOf:
-      - name: MTVEC_BASE_ALIGNMENT_DIRECT
-        equal: 4
-      - name: MTVEC_MODES
-        equal: [0, 1]
-      - name: PRECISE_SYNCHRONOUS_EXCEPTIONS
-        equal: true
-      - name: TRAP_ON_ECALL_FROM_M
-        equal: true
-      - name: TRAP_ON_EBREAK
-        equal: true
-      - name: REPORT_VA_IN_MTVAL_ON_BREAKPOINT
-        equal: true
-      - name: REPORT_VA_IN_MTVAL_ON_INSTRUCTION_ACCESS_FAULT
-        equal: true
-      - name: REPORT_VA_IN_MTVAL_ON_LOAD_ACCESS_FAULT
-        equal: true
-      - name: REPORT_VA_IN_MTVAL_ON_STORE_AMO_ACCESS_FAULT
-        equal: true
-      - name: REPORT_ENCODING_IN_MTVAL_ON_ILLEGAL_INSTRUCTION
-        equal: true
-      - name: M_MODE_ENDIANNESS
-        equal: little
-      - name: MXLEN
-        equal: 64
-      - name: NUM_PMP_ENTRIES
-        greaterThanOrEqual: 4
-      - name: PMP_GRANULARITY
-        lessThanOrEqual: 12

data/lib/udb/cert_normative_rule.rb

@@ -1,41 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# frozen_string_literal: true
-
-module Udb
-  class CertNormativeRule
-    # @param data [Hash<String, Object>] Data from YAML file
-    # @param db_obj [DatabaseObject] Database object that defines normative rule (Extension, Instruction, CSR, or CSR field)
-    def initialize(data, db_obj)
-      raise ArgumentError, "Need Hash but was passed a #{data.class}" unless data.is_a?(Hash)
-      raise ArgumentError, "Need DatabaseObject but was passed a #{db_obj.class}" unless db_obj.is_a?(DatabaseObject)
-
-      @data = data
-      @db_obj = db_obj
-
-      raise ArgumentError, "Missing certification normative rule description for #{db_obj.name} of kind #{db_obj.kind}" if description.nil?
-      raise ArgumentError, "Missing certification normative rule ID for #{db_obj.name} of kind #{db_obj.kind}" if id.nil?
-    end
-
-    # @return [String] Description of normative rule (could be multiple lines)
-    def description = @data["description"]
-
-    # @return [String] Unique ID of the normative rule
-    def id = @data["id"]
-
-    # @return [Array<DocLink>] List of certification point documentation links
-    def doc_links
-      return @doc_links unless @doc_links.nil?
-
-      @doc_links = []
-      @data["doc_links"]&.each do |dst|
-        @doc_links << DocLink.new(dst, @db_obj)
-      end
-
-      raise "Missing doc_links for certification normative rule ID '#{id}' of kind #{@db_obj.kind}" if @doc_links.empty?
-
-      @doc_links
-    end
-  end
-end

data/lib/udb/obj/certifiable_obj.rb

@@ -1,21 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# frozen_string_literal: true
-
-require_relative "../cert_normative_rule"
-
-module Udb
-module CertifiableObject
-  # @return [Array<CertNormativeRule>]
-  def cert_normative_rules
-    return @cert_normative_rules unless @cert_normative_rules.nil?
-
-    @cert_normative_rules = []
-    @data["cert_normative_rules"]&.each do |cert_data|
-      @cert_normative_rules << CertNormativeRule.new(cert_data, self)
-    end
-    @cert_normative_rules
-  end
-end # module
-end

data/lib/udb/obj/certificate.rb

@@ -1,230 +0,0 @@
-# typed: false
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# frozen_string_literal: true
-
-# Classes for certificates.
-# Each processor certificate model is a member of a processor certificate class.
-
-require_relative "portfolio"
-
-#######################
-# ProcCertClass Class #
-#######################
-
-module Udb
-
-# Holds information from processor certificate class YAML file.
-# The inherited "data" member is the database of extensions, instructions, CSRs, etc.
-  class ProcCertClass < PortfolioClass
-  end
-
-#######################
-# ProcCertModel Class #
-#######################
-
-# Holds information about a processor certificate model YAML file.
-# The inherited "data" member is the database of extensions, instructions, CSRs, etc.
-  class ProcCertModel < Portfolio
-    # @param obj_yaml [Hash<String, Object>] Contains contents of Certificate Model yaml file (put in @data)
-    # @param data_path [String] Path to yaml file
-    # @param arch [Architecture] Database of RISC-V standards
-    def initialize(obj_yaml, yaml_path, arch)
-      super # Calls parent class with the same args I got
-    end
-
-    def unpriv_isa_manual_revision = @data["unpriv_isa_manual_revision"]
-    def priv_isa_manual_revision = @data["priv_isa_manual_revision"]
-    def debug_manual_revision = @data["debug_manual_revision"]
-
-    def tsc_profile_release
-      return nil if @data["tsc_profile_release"].nil?
-
-      profile_release = @arch.ref(@data["tsc_profile_release"]["$ref"])
-
-      raise "No profile release called '#{@data["tsc_profile_release"]}' exists" if profile_release.nil?
-
-      profile_release
-    end
-
-    def in_scope_priv_modes = @data["in_scope_priv_modes"]
-
-    # @return [ProcCertClass] The certification class that this model belongs to.
-    def proc_cert_class
-      proc_cert_class = @arch.ref(@data["class"]["$ref"])
-      raise "No processor certificate class named '#{@data["class"]}'" if proc_cert_class.nil?
-
-      proc_cert_class
-    end
-
-    #####################
-    # Requirement Class #
-    #####################
-
-    # Holds extra requirements not associated with extensions or their parameters.
-    class Requirement
-      # @param data [Hash<String, Object>] Data from yaml
-      # @param arch [Architecture] Architecture standards
-      def initialize(data, arch)
-        raise ArgumentError, "Bad data" unless data.is_a?(Hash)
-        raise ArgumentError, "Need Architecture class but it's a #{arch.class}" unless arch.is_a?(Architecture)
-
-        @data = data
-        @arch = arch
-      end
-
-      def name = @data["name"]
-      def description = @data["description"]
-      def when = @data["when"]
-
-      def when_pretty
-        @data["when"].keys.map do |key|
-          case key
-          when "xlen"
-            "XLEN == #{@data["when"]["xlen"]}"
-          when "param"
-            @data["when"]["param"].map do |param_name, param_value|
-              "Parameter #{param_name} == #{param_value}"
-            end
-          else
-            raise "Type #{key} not implemented"
-          end
-        end.flatten.join(" and ")
-      end
-    end
-
-    ##########################
-    # RequirementGroup Class #
-    ##########################
-
-    # Holds a group of Requirement objects to provide a one-level group.
-    # Can't nest RequirementGroup objects to make multi-level group.
-    class RequirementGroup
-      # @param data [Hash<String, Object>] Data from yaml
-      # @param arch [Architecture] Architecture standards
-      def initialize(data, arch)
-        raise ArgumentError, "data is a #{data.class} class containing '#{data}' but needs to be a Hash" unless data.is_a?(Hash)
-        raise ArgumentError, "arch is a #{arch.class} class but needs to be an Architecture class" unless arch.is_a?(Architecture)
-
-        @data = data
-        @arch = arch
-      end
-
-      def name = @data["name"]
-      def description = @data["description"]
-      def when = @data["when"]
-
-      def when_pretty
-        @data["when"].keys.map do |key|
-          case key
-          when "xlen"
-            "XLEN == #{@data["when"]["xlen"]}"
-          when "param"
-            @data["when"]["param"].map do |param_name, param_value|
-              "Parameter #{param_name} == #{param_value}"
-            end
-          else
-            raise "Type #{key} not implemented"
-          end
-        end.flatten.join(" and ")
-      end
-
-      # @return [Array<Requirement>] The list of requirements in this group.
-      def requirements
-        return @requirements unless @requirements.nil?
-
-        @requirements = []
-        @data["requirements"].each do |req|
-          @requirements << Requirement.new(req, @arch)
-        end
-        @requirements
-      end
-    end
-
-    # @return [Array<RequirementGroup>] The list of requirement groups
-    def requirement_groups
-      return @requirement_groups unless @requirement_groups.nil?
-
-      @requirement_groups = []
-      @data["requirement_groups"]&.each do |req_key, req_group|
-        @requirement_groups << RequirementGroup.new(req_group, @arch) unless req_key == "$child_of" || req_key == "$parent_of"
-      end
-      @requirement_groups
-    end
-
-    ###################################
-    # Routines using InScopeParameter #
-    ###################################
-
-    # @return [Array<InScopeParameter>] Sorted list of parameters specified by any extension in portfolio.
-    # These are always IN-SCOPE by definition (since they are listed in the portfolio).
-    # Can have multiple array entries with the same parameter name since multiple extensions may define
-    # the same parameter.
-    def all_in_scope_params
-      return @all_in_scope_params unless @all_in_scope_params.nil?
-
-      @all_in_scope_params = []
-
-      @data["param_constraints"]&.each do |param_name, param_data|
-        param = @arch.param(param_name)
-        if param.nil?
-          cond_param = ext.conditional_params.find { |p| p.param.name == param_name }
-          raise "There is no param '#{param_name}' in extension '#{ext_name}" if cond_param.nil?
-          param = cond_param.param
-        end
-        @all_in_scope_params << InScopeParameter.new(param, param_data["schema"], param_data["note"])
-      # next unless param.defined_by_condition.satisfied_by_cfg_arch?(to_cfg_arch) == SatisfiedResult::Yes
-      end
-
-      @all_in_scope_params << InScopeParameter.new(@arch.param("MXLEN"), { "const" => @data["base"] }, "")
-      @all_in_scope_params.sort!
-    end
-
-    # @return [Array<Parameter>] Sorted list of parameters out of scope across all in scope extensions
-    #                                     (those listed as mandatory or optional in the certificate model).
-    def all_out_of_scope_params
-      return @all_out_of_scope_params unless @all_out_of_scope_params.nil?
-
-      @all_out_of_scope_params = []
-      in_scope_ext_reqs.each do |ext_req|
-        ext = @arch.extension(ext_req.name)
-        ext.params.each do |param|
-          next if all_in_scope_params.any? { |c| c.param.name == param.name }
-
-          @all_out_of_scope_params << param
-        end
-      end
-      @all_out_of_scope_params.sort!
-    end
-
-    # @param ext_name [String] Extension name
-    # @return [Array<Parameter>] Sorted list of parameters that are out of scope for named extension.
-    def out_of_scope_params(ext_name)
-      all_out_of_scope_params.select { |param| param.defined_by_condition.mentions?(@arch.extension(ext_name)) && param.defined_by_condition.satisfied_by_cfg_arch?(to_cfg_arch) == SatisfiedResult::Yes }.sort
-    end
-
-    # @param param [Parameter]
-    # @return [Array<Extension>] Sorted list of all in-scope extensions that define this parameter
-    #                            in the database and the parameter is in-scope.
-    def all_in_scope_exts_with_param(param)
-      raise ArgumentError, "Expecting Parameter" unless param.is_a?(Parameter)
-
-      # Iterate through all the extensions in the architecture database that define this parameter.
-      in_scope_extensions.select do |potential_ext|
-        param.requirements_condition.mentions?(potential_ext) &&
-          (param.requirements_condition & potential_ext.to_condition)
-      end.sort_by!(&:name)
-    end
-
-    # @param param [Parameter]
-    # @return [Array<Extension>] List of all in-scope extensions that define this parameter in the
-    #                            database but the parameter is out-of-scope.
-    def all_in_scope_exts_without_param(param)
-      raise ArgumentError, "Expecting Parameter" unless param.is_a?(Parameter)
-
-      all_in_scope_exts_with_param(param)
-    end
-  end
-
-end

data/lib/udb/proc_cert_design.rb

@@ -1,77 +0,0 @@
-# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
-# SPDX-License-Identifier: BSD-3-Clause-Clear
-
-# frozen_string_literal: true
-
-# Inherits from PortfolioDesign and contains content shared by
-# all processor certificate-based designs.
-
-require_relative "portfolio_design"
-
-module Udb
-
-class ProcCertDesign < PortfolioDesign
-  # @return [ProcCertModel] The processor certificate model object from the architecture database
-  attr_reader :proc_cert_model
-
-  # @return [ProcCertClass] The processor certificate class object from the architecture database
-  attr_reader :proc_cert_class
-
-  # @param name [#to_s] The name of the portfolio design (i.e., backend filename without a suffix)
-  # @param cfg_arch [ConfiguredArchitecture] The database of RISC-V standards for a particular configuration
-  # @param portfolio_design_type [String] Type of portfolio design associated with this design
-  # @param portfolios [Array<Portfolio>] Portfolios being converted to adoc
-  # @param portfolio_class [PortfolioClass] PortfolioClass for all the Portfolios
-  def initialize(name, cfg_arch, portfolio_design_type, proc_cert_model, proc_cert_class)
-    raise ArgumentError, "proc_cert_model must be a ProcCertModel" unless proc_cert_model.is_a?(ProcCertModel)
-    raise ArgumentError, "proc_cert_class must be a ProcCertClass" unless proc_cert_class.is_a?(ProcCertClass)
-    @proc_cert_model = proc_cert_model
-    @proc_cert_class = proc_cert_class
-    super(name, cfg_arch, portfolio_design_type, [proc_cert_model], proc_cert_class)
-  end
-
-  # Returns a string representation of the object, suitable for debugging.
-  # @return [String] A string representation of the object.
-  def inspect = "ProcCertDesign##{name}"
-
-  # @param extra_inputs [Array<Hash>] Any extra inputs to be passed to ERB template.
-  # @return [Hash<String, Object>] Hash of objects to be used in ERB templates
-  # Add certificate-specific objects to the parent hash.
-  def erb_env(*extra_inputs)
-    raise ArgumentError, "extra_inputs must be an Array but is a #{extra_inputs.class}" unless extra_inputs.is_a?(Array)
-
-    h = super   # Call parent method with whatever args I got
-
-    h[:proc_cert_design] = self
-    h[:proc_cert_model] = proc_cert_model
-    h[:proc_cert_class] = proc_cert_class
-
-    h
-  end
-
-  # Include a partial ERB template into a full ERB template. Can be either in
-  # the portfolio or proc_cert backends (but not both).
-  #
-  # @param template_path [String] Name of template file located in backends/portfolio/templates
-  #                               or in backends/proc_cert/templates
-  # @param extra_inputs [Hash<String, Object>] Any extra inputs to be passed to ERB template.
-  # @return [String] Result of ERB evaluation of the template file
-  def include_erb(template_name, extra_inputs = {})
-    proc_cert_template_pname = "proc_cert/templates/#{template_name}"
-    proc_cert_template_path = Pathname.new($root / "backends" / proc_cert_template_pname)
-
-    portfolio_template_pname = "portfolio/templates/#{template_name}"
-    portfolio_template_path = Pathname.new($root / "backends" / portfolio_template_pname)
-
-    if proc_cert_template_path.exist? && portfolio_template_path.exist?
-      raise "Both #{proc_cert_template_pname} and #{portfolio_template_pname} exist. Need unique names."
-    elsif proc_cert_template_path.exist?
-      partial(proc_cert_template_pname, erb_env(extra_inputs))
-    elsif portfolio_template_path.exist?
-      partial(portfolio_template_pname, erb_env(extra_inputs))
-    else
-      raise "Can't find file #{template_name} in either #{proc_cert_template_pname} or #{portfolio_template_pname}."
-    end
-  end
-end
-end