origen 0.0.1 → 0.0.2

data/lib/origen/tester/j750/j750.rb

@@ -0,0 +1,845 @@
+module Origen
+  module Tester
+    # This class is soon to be deprecated
+    #    Origen.deprecate <<-END
+    #      J750 Tester in Origen core is currently being moved to a dedicated plugin,
+    #      use Testers::J750 from this plugin instead of Origen::Tester::J750
+    #      http://origen.freescale.net/testers
+    #    END
+
+    # Tester model to generate .atp patterns for the Teradyne J750
+    #
+    # == Basic Usage
+    #   $tester = Origen::Tester::J750.new
+    #   $tester.cycle       # Generate a vector
+    #
+    # Many more methods exist to generate J750 specific micro-code, see below for
+    # details.
+    #
+    # Also note that this class inherits from the base Tester class and so all methods
+    # described there are also available.
+    class J750
+      include Tester
+      include Parser
+      require 'origen/tester/j750/files'
+      include Files
+
+      autoload :Parser, 'origen/tester/j750/parser'
+      autoload :Generator, 'origen/tester/j750/generator'
+
+      attr_accessor :use_hv_pin
+      attr_accessor :software_version
+
+      def self.hpt_mode
+        @@hpt_mode
+      end
+      def self.hpt_mode?
+        @@hpt_mode
+      end
+
+      # Returns a new J750 instance, normally there would only ever be one of these
+      # assigned to the global variable such as $tester by your target:
+      #   $tester = J750.new
+      def initialize
+        @unique_counter = 0
+        @max_repeat_loop = 65_535
+        @min_repeat_loop = 2
+        @pat_extension = 'atp'
+        @active_loads = true
+        @pipeline_depth = 34  # for extended mode is vectors, for normal mode is vector pairs (54 for J750Ex)
+        @use_hv_pin = false   # allows to use high voltage for a pin for all patterns
+        @software_version = '3.50.40'
+        @compress = true
+        @support_repeat_previous = true
+        @match_entries = 10
+        @name = 'j750'
+        @program_comment_char = ['logprint', "'"]
+        @@hpt_mode = false
+      end
+
+      def flows
+        parser.flows
+      end
+
+      # Main accessor to all content parsed from existing test program sheets found in the
+      # supplied directory or in Origen.config.test_program_output_directory
+      def parser(prog_dir = Origen.config.test_program_output_directory)
+        unless prog_dir
+          fail 'You must supply the directory containing the test program sheets, or define it via Origen.config.test_program_output_directory'
+        end
+        @parser ||= J750::Parser.new
+        @parsed_dir ||= false
+        if @parsed_dir != prog_dir
+          @parser.parse(prog_dir)
+          @parsed_dir = prog_dir
+        end
+        @parser
+      end
+
+      # Capture a vector to the tester HRAM.
+      #
+      # This method applys a store vector (stv) opcode to the previous vector, note that is does
+      # not actually generate a new vector.
+      #
+      # Sometimes when generating vectors within a loop you may want to apply a stv opcode
+      # retrospectively to a previous vector, passing in an offset option will allow you
+      # to do this.
+      #
+      # On J750 the pins argument is ignored since the tester only supports whole vector capture.
+      #
+      # @example
+      #   $tester.cycle                # This is the vector you want to capture
+      #   $tester.store                # This applys the STV opcode
+      #
+      #   $tester.cycle                # This one gets stored
+      #   $tester.cycle
+      #   $tester.cycle
+      #   $tester.store(:offset => -2) # Just realized I need to capture that earlier vector
+      def store(*pins)
+        options = pins.last.is_a?(Hash) ? pins.pop : {}
+        options = { offset: 0
+                  }.merge(options)
+        update_vector microcode: 'stv', offset: options[:offset]
+      end
+      alias_method :to_hram, :store
+      alias_method :capture, :store
+
+      # Capture the next vector generated to HRAM
+      #
+      # This method applys a store vector (stv) opcode to the next vector to be generated,
+      # note that is does not actually generate a new vector.
+      #
+      # On J750 the pins argument is ignored since the tester only supports whole vector capture.
+      #
+      # @example
+      #   $tester.store_next_cycle
+      #   $tester.cycle                # This is the vector that will be captured
+      def store_next_cycle(*pins)
+        options = pins.last.is_a?(Hash) ? pins.pop : {}
+        options = {
+        }.merge(options)
+        preset_next_vector microcode: 'stv'
+      end
+
+      # Call a subroutine.
+      #
+      # This method applies a call subroutine opcode to the previous vector, it does not
+      # generate a new vector.
+      #
+      # Subroutines should always be called through this method as it ensures a running
+      # log of called subroutines is maintained and which then gets output in the pattern
+      # header to import the right dependencies.
+      #
+      # An offset option is available to make the call on earlier vectors.
+      #
+      # ==== Examples
+      #   $tester.call_subroutine("mysub")
+      #   $tester.call_subroutine("my_other_sub", :offset => -1)
+      def call_subroutine(name, options = {})
+        options = {
+          offset: 0
+        }.merge(options)
+        called_subroutines << name.to_s.chomp unless called_subroutines.include?(name.to_s.chomp) || @inhibit_vectors
+        update_vector microcode: "call #{name}", offset: options[:offset]
+      end
+
+      # Start a subroutine.
+      #
+      # Generates a global subroutine label. Global is used to adhere to the best practice of
+      # containing all subroutines in dedicated patterns, e.g. global_subs.atp
+      #
+      # ==== Examples
+      #     $tester.start_subroutine("wait_for_done")
+      #     < generate your subroutine vectors here >
+      #     $tester.end_subroutine
+      def start_subroutine(name)
+        local_subroutines << name.to_s.chomp unless local_subroutines.include?(name.to_s.chomp) || @inhibit_vectors
+        microcode "global subr #{name}:"
+      end
+
+      # * J750 Specific *
+      #
+      #
+      def enable_flag(options = {})
+        options = { flagnum: 4,      # which flag to enable for later checking
+                }.merge(options)
+
+        case options[:flagnum]
+          when 1
+            flagname = 'cpuA'
+          when 2
+            flagname = 'cpuB'
+          when 3
+            flagname = 'cpuC'
+          when 4
+            flagname = 'cpuD'
+          else
+            abort "ERROR! Invalid flag name passed to 'enable_flag' method!\n"
+        end
+        update_vector(microcode: "enable(#{flagname})")
+      end
+
+      # * J750 Specific *
+      #
+      #
+      def set_flag(options = {})
+        options = { flagnum: 4,      # which flag to set
+                }.merge(options)
+
+        case options[:flagnum]
+          when 1
+            flagname = 'cpuA'
+          when 2
+            flagname = 'cpuB'
+          when 3
+            flagname = 'cpuC'
+          when 4
+            flagname = 'cpuD'
+          else
+            abort "ERROR! Invalid flag name passed to 'set_flag' method!\n"
+        end
+        update_vector(microcode: "set_cpu(#{flagname})")
+      end
+
+      # End a subroutine.
+      #
+      # Generates a return opcode on the last vector.
+      #
+      # ==== Examples
+      #     $tester.start_subroutine("wait_for_done")
+      #     < generate your subroutine vectors here >
+      #     $tester.end_subroutine
+      # cond: whether return is conditional on a flag (to permit to mix subrs together)
+      def end_subroutine(cond = false)
+        if cond
+          update_vector microcode: 'if (flag) return'
+        else
+          update_vector microcode: 'return'
+        end
+      end
+
+      # Handshake with the tester.
+      #
+      # Will set a cpu flag (A) and wait for it to be cleared by the tester, optionally
+      # pass in a read code to pass information to the tester.
+      #
+      # ==== Examples
+      #   $tester.handshake                   # Pass control to the tester for a measurement
+      #   $tester.handshake(:readcode => 10)  # Trigger a specific action by the tester
+      def handshake(options = {})
+        options = {
+          readcode:    false,
+          manual_stop: false,    # set a 2nd CPU flag in case 1st flag is automatically cleared
+        }.merge(options)
+        if options[:readcode]
+          cycle(microcode: "set_code #{options[:readcode]}")
+        end
+        if options[:manual_stop]
+          cycle(microcode: 'enable (cpuB)')
+          cycle(microcode: 'set_cpu (cpuA cpuB)')
+          cycle(microcode: "loop_here_#{@unique_counter}: if (flag) jump loop_here_#{@unique_counter}")
+        else
+          cycle(microcode: 'set_cpu (cpuA)')
+          cycle(microcode: "loop_here_#{@unique_counter}: if (cpuA) jump loop_here_#{@unique_counter}")
+        end
+        @unique_counter += 1  # Increment so a different label will be applied if another
+        # handshake is called in the same pattern
+      end
+
+      # Do a frequency measure.
+      #
+      # Write the necessary micro code to do a frequency measure on the given pin,
+      # optionally supply a read code to pass information to the tester.
+      #
+      # ==== Examples
+      #   $tester.freq_count($top.pin(:d_out))                 # Freq measure on pin "d_out"
+      #   $tester.freq_count($top.pin(:d_out):readcode => 10)
+      def freq_count(pin, options = {})
+        options = { readcode: false
+                  }.merge(options)
+
+        cycle(microcode: "set_code #{options[:readcode]}") if options[:readcode]
+        cycle(microcode: 'set_cpu (cpuA)')
+        cycle(microcode: 'set_cpu (cpuA)')
+        cycle(microcode: 'set_cpu (cpuB)')
+        cycle(microcode: 'set_cpu (cpuC)')
+        cycle(microcode: 'freq_loop_1:')
+        cycle(microcode: 'if (cpuA) jump freq_loop_1')
+        pin.drive_lo
+        delay(2000)
+        pin.dont_care
+        cycle(microcode: 'freq_loop_2: enable (cpuB)')
+        cycle(microcode: 'if (flag) jump freq_loop_2')
+        cycle(microcode: 'enable (cpuC)')
+        cycle(microcode: 'if (flag) jump freq_loop_1')
+      end
+
+      # * J750 Specific *
+      #
+      # Generates a single MTO opcode line for J750
+      #
+      # Codes implemented: xa load_preset, xa inc, ya load_preset, ya inc, stv_m0, stv_m1, stv_c<br>
+      def memory_test(options = {})
+        options = {
+          gen_vector:          true,                 # Default generate vector not just MTO opcode
+          init_counter_x:      false,            # initialize counter X
+          inc_counter_x:       false,             # increment counter X
+          init_counter_y:      false,            # initialize counter X
+          inc_counter_y:       false,             # increment counter X
+          capture_vector:      false,            # capture vector to memory using all mem types
+          capture_vector_mem0: false,       # capture vector to memory type 0, here for J750 will be stv_m0
+          capture_vector_mem1: false,       # capture vector to memory type 1, here for J750 will be stv_m1
+          capture_vector_mem2: false,       # capture vector to memory type 2, here for J750 will be stv_c
+          pin:                 false,                       # pin on which to drive or expect data, pass pin object here!
+          pin_data:            false,                  # pin data (:none, :drive, :expect)
+        }.merge(options)
+
+        mto_opcode = ''
+
+        if options[:init_counter_x]
+          mto_opcode += ' xa load_preset'
+        end
+        if options[:inc_counter_x]
+          mto_opcode += ' xa inc'
+        end
+        if options[:init_counter_y]
+          mto_opcode += ' ya load_preset'
+        end
+        if options[:inc_counter_y]
+          mto_opcode += ' ya inc'
+        end
+        if options[:capture_vector]
+          mto_opcode += ' stv_m0 stv_m1 stv_c'
+        end
+        if options[:capture_vector_mem0]
+          mto_opcode += ' stv_m0'
+        end
+        if options[:capture_vector_mem1]
+          mto_opcode += ' stv_m1'
+        end
+        if options[:capture_vector_mem2]
+          mto_opcode += ' stv_c'
+        end
+
+        unless mto_opcode.eql?('')
+          mto_opcode = '(mto:' + mto_opcode + ')'
+        end
+
+        if options[:gen_vector]
+          if options[:pin]
+            case options[:pin_data]
+              when :drive
+                # store current pin state
+                cur_pin_state = options[:pin].state.to_sym
+                options[:pin].drive_mem
+              when :expect
+                # store current pin state
+                cur_pin_state = options[:pin].state.to_sym
+                options[:pin].expect_mem
+            end
+          end
+          cycle(microcode: "#{mto_opcode}")
+          if options[:pin]
+            # restore previous pin state
+            case options[:pin_data]
+              when :drive
+                options[:pin].state = cur_pin_state
+              when :expect
+                options[:pin].state = cur_pin_state
+            end
+          end
+        else
+          microcode "#{mto_opcode}"
+        end
+      end
+
+      # Generates a match loop on up to two pins.
+      #
+      # This method is not really intended to be called directly, rather you should call
+      # via Tester#wait e.g. $tester.wait(:match => true).
+      #
+      # The timeout should be provided in cycles, however when called via the wait method the
+      # time-based helpers (time_in_us, etc) will be converted to cycles for you.
+      # The following options are available to tailor the match loop behavior, defaults in
+      # parenthesis:
+      # * :pin - The pin object to match on (*required*)
+      # * :state - The pin state to match on, :low or :high (*required*)
+      # * :pin2 (nil) - Optionally supply a second pin to match on
+      # * :state2 (nil) - State for the second pin (required if :pin2 is supplied)
+      # * :check_for_fails (false) - Flushes the pipeline and handshakes with the tester (passing readcode 100) prior to the match (to allow binout of fails encountered before the match)
+      # * :force_fail_on_timeout (true) - Force a vector mis-compare if the match loop times out
+      # * :on_timeout_goto ("") - Optionally supply a label to branch to on timeout, by default will continue from the end of the match loop
+      # * :on_pin_match_goto ("") - Optionally supply a label to branch to when pin 1 matches, by default will continue from the end of the match loop
+      # * :on_pin2_match_goto ("") - Optionally supply a label to branch to when pin 2 matches, by default will continue from the end of the match loop
+      # * :multiple_entries (false) - Supply an integer to generate multiple entries into the match (each with a unique readcode), this can be useful when debugging patterns with multiple matches
+      # * :force_fail_on_timeout (true) - force pattern to fail if timeout occurs
+      # * :global_loops (false) - whether match loop loops should use global labels
+      # * :manual_stop (false) - whether to use extra cpuB flag to resolve IG-XL v.3.50.xx bug where VBT clears cpuA immediately
+      #                          at start of PatFlagFunc instead of at end.  Use will have to manually clear cpuB to resume this pattern.
+      # ==== Examples
+      #   $tester.wait(:match => true, :time_in_us => 5000, :pin => $top.pin(:done), :state => :high)
+      def match(pin, state, timeout, options = {})
+        options = {
+          check_for_fails:       false,
+          on_timeout_goto:       false,
+          pin2:                  false,
+          state2:                false,
+          on_pin_match_goto:     false,
+          on_pin2_match_goto:    false,
+          multiple_entries:      false,
+          force_fail_on_timeout: true,
+          global_loops:          false,
+          manual_stop:           false,
+          clr_fail_post_match:   false
+        }.merge(options)
+
+        # Flush the pipeline first and then pass control to the program to bin out any failures
+        # prior to entering the match loop
+        if options[:check_for_fails]
+          if options[:multiple_entries]
+            @match_entries.times do |i|
+              microcode "global subr match_done_#{i}:"
+              cycle(microcode: "set_code #{i + 100}")
+              cycle(microcode: 'jump call_tester') unless i == @match_entries - 1
+            end
+            microcode 'call_tester:'
+          else
+            cycle(microcode: 'set_code 100')
+          end
+          cc 'Wait for any prior failures to propagate through the pipeline'
+          cycle(microcode: 'pipe_minus 1')
+          cc 'Now handshake with the tester to bin out and parts that have failed before they got here'
+          handshake(manual_stop: options[:manual_stop])
+        end
+
+        # Now do the main match loop
+        cc 'Start the match loop'
+
+        # Calculate the loop counts for the 2 loops to appropriately hit the timeout requested
+        inner_loop_vectors = (@pipeline_depth - 1) + 4  # num vectors in inner loop
+        if timeout.to_f < @max_repeat_loop * inner_loop_vectors * @min_repeat_loop
+          # Handle case for smaller timeouts (that would force small outer loop count)
+          inner_loop_count = (timeout.to_f / (inner_loop_vectors * @min_repeat_loop)).ceil
+          outer_loop_count = @min_repeat_loop
+        else
+          # Handle longer delays
+          inner_loop_count = @max_repeat_loop
+          outer_loop_count = (timeout.to_f / (@max_repeat_loop * inner_loop_vectors)).ceil  # Will do a minimum of 1 * max_repeat_loop * (pipeline_depth-1)
+        end
+
+        global_opt = (options[:global_loops]) ? 'global ' : ''
+        microcode "#{global_opt}match_outer_loop_#{@unique_counter}:"
+        cycle(microcode: "loopB #{outer_loop_count} ign ifc icc")
+        microcode "#{global_opt}match_inner_loop_#{@unique_counter}:"
+        state == :low ? pin.expect_lo : pin.expect_hi
+        cc "Check if #{pin.name} is #{state == :low ? 'low' : 'high'} yet"
+        cycle(microcode: "loopA #{inner_loop_count} ign ifc icc")
+        pin.dont_care
+        cc ' Wait for the result to propagate through the pipeline'
+        cycle(microcode: 'pipe_minus 1 ign ifc icc')
+        cc "Branch if #{pin.name} was #{state == :low ? 'low' : 'high'}"
+        cycle(microcode: "if (pass) jump #{pin.name}_matched_#{@unique_counter} icc ifc")
+        cycle(microcode: 'clr_flag (fail) icc')
+        if options[:pin2]
+          cc "Check if #{options[:pin2].name} is #{options[:state2] == :low ? 'low' : 'high'} yet"
+          options[:state2] == :low ? options[:pin2].expect_lo : options[:pin2].expect_hi
+          state == :low ? pin.expect_hi : pin.expect_lo   # Give priority to pin 1, don't match pin 2 on this cycle
+          # if it is really a pin 1 match
+          cycle  # Read for pin 2 and !pin 1
+          options[:pin2].dont_care
+          pin.dont_care
+          cc 'Again wait for the result to propagate through the pipeline'
+          cycle(microcode: 'pipe_minus 1 ign ifc icc')
+          cc "Branch if #{options[:pin2].name} was #{options[:state2] == :low ? 'low' : 'high'}"
+          cycle(microcode: "if (pass) jump #{options[:pin2].name}_matched_#{@unique_counter} icc ifc")
+          cycle(microcode: 'clr_flag (fail) icc')
+        end
+        cc 'Loop back around if time remaining'
+        cycle(microcode: "end_loopA match_inner_loop_#{@unique_counter} icc")
+        cycle(microcode: "end_loopB match_outer_loop_#{@unique_counter} icc")
+        if options[:force_fail_on_timeout]
+          cc 'To get here something has gone wrong, strobe again to force a pattern failure'
+          state == :low ? pin.expect_lo : pin.expect_hi
+          options[:state2] == :low ? options[:pin2].expect_lo : options[:pin2].expect_hi if options[:pin2]
+          cycle
+          pin.dont_care
+          options[:pin2].dont_care if options[:pin2]
+        end
+        if options[:on_timeout_goto]
+          cycle(microcode: "jump #{options[:on_timeout_goto]} icc")
+        else
+          cycle(microcode: "jump match_loop_end_#{@unique_counter} icc")
+          # cycle(:microcode => 'halt')
+        end
+        microcode "#{pin.name}_matched_#{@unique_counter}:"
+        cycle(microcode: 'pop_loop icc')
+        unless options[:clr_fail_post_match]
+          cycle(microcode: 'clr_fail')
+        end
+        if options[:on_pin_match_goto]
+          cycle(microcode: "jump #{options[:on_pin_match_goto]}")
+        end
+        if options[:pin2]
+          microcode "#{options[:pin2].name}_matched_#{@unique_counter}:"
+          cycle(microcode: 'pop_loop icc')
+          cycle(microcode: 'clr_fail')
+          if options[:on_pin2_match_goto]
+            cycle(microcode: "jump #{options[:on_pin2_match_goto]}")
+          end
+        end
+        microcode "match_loop_end_#{@unique_counter}:"
+        if options[:clr_fail_post_match]
+          cycle(microcode: 'clr_fail')
+        end
+
+        @unique_counter += 1  # Increment so a different label will be applied if another
+        # handshake is called in the same pattern
+      end
+
+      # Generates a match loop based on vector condition passed in via block
+      #
+      # This method is not really intended to be called directly, rather you should call
+      # via Tester#wait:
+      #      e.g. $tester.wait(:match => true) do
+      #             reg(:status_reg).bit(:done).read(1)!  # vector condition that you want to match
+      #           end
+      #
+      # The timeout should be provided in cycles, however when called via the wait method the
+      # time-based helpers (time_in_us, etc) will be converted to cycles for you.
+      #
+      # The following options are available to tailor the match loop behavior, defaults in
+      # parenthesis:
+      # * :check_for_fails (false) - Flushes the pipeline and handshakes with the tester (passing readcode 100) prior to the match (to allow binout of fails encountered before the match)
+      # * :force_fail_on_timeout (true) - Force a vector mis-compare if the match loop times out
+      # * :on_timeout_goto ("") - Optionally supply a label to branch to on timeout, by default will continue from the end of the match loop
+      # * :on_block_match_goto ("") - Optionally supply a label to branch to when block condition is met, by default will continue from the end of the match loop
+      # * :multiple_entries (false) - Supply an integer to generate multiple entries into the match (each with a unique readcode), this can be useful when debugging patterns with multiple matches
+      # * :force_fail_on_timeout (true) - force pattern to fail if timeout occurs
+      # * :global_loops (false) - whether match loop loops should use global labels
+      # * :manual_stop (false) - whether to use extra cpuB flag to resolve IG-XL v.3.50.xx bug where VBT clears cpuA immediately
+      #                          at start of PatFlagFunc instead of at end.  Use will have to manually clear cpuB to resume this pattern.
+      # ==== Examples
+      #   $tester.wait(:match => true, :time_in_us => 5000, :pin => $top.pin(:done), :state => :high)
+      def match_block(timeout, options = {})
+        options = {
+          check_for_fails:       false,
+          on_timeout_goto:       false,
+          on_block_match_goto:   false,
+          multiple_entries:      false,
+          force_fail_on_timeout: true,
+          global_loops:          false,
+          manual_stop:           false,
+          clr_fail_post_match:   false
+        }.merge(options)
+
+        unless block_given?
+          fail 'ERROR: block not passed to match_block!'
+        end
+
+        # Flush the pipeline first and then pass control to the program to bin out any failures
+        # prior to entering the match loop
+        if options[:check_for_fails]
+          if options[:multiple_entries]
+            @match_entries.times do |i|
+              microcode "global subr match_done_#{i}:"
+              cycle(microcode: "set_code #{i + 100}")
+              cycle(microcode: 'jump call_tester') unless i == @match_entries - 1
+            end
+            microcode 'call_tester:'
+          else
+            cycle(microcode: 'set_code 100')
+          end
+          cc 'Wait for any prior failures to propagate through the pipeline'
+          cycle(microcode: 'pipe_minus 1')
+          cc 'Now handshake with the tester to bin out and parts that have failed before they got here'
+          handshake(manual_stop: options[:manual_stop])
+        end
+
+        # Now do the main match loop
+        cc 'Start the match loop'
+
+        # Calculate the loop counts for the 2 loops to appropriately hit the timeout requested
+        inner_loop_vectors = (@pipeline_depth - 1) + 4  # num vectors in inner loop
+        if timeout.to_f < @max_repeat_loop * inner_loop_vectors * @min_repeat_loop
+          # Handle case for smaller timeouts (that would force small outer loop count)
+          inner_loop_count = (timeout.to_f / (inner_loop_vectors * @min_repeat_loop)).ceil
+          outer_loop_count = @min_repeat_loop
+        else
+          # Handle longer delays
+          inner_loop_count = @max_repeat_loop
+          outer_loop_count = (timeout.to_f / (@max_repeat_loop * inner_loop_vectors)).ceil  # Will do a minimum of 1 * max_repeat_loop * (pipeline_depth-1)
+        end
+
+        global_opt = (options[:global_loops]) ? 'global ' : ''
+        microcode "#{global_opt}match_outer_loop_#{@unique_counter}:"
+        cycle(microcode: "loopB #{outer_loop_count} ign ifc icc")
+        microcode "#{global_opt}match_inner_loop_#{@unique_counter}:"
+        cycle(microcode: "loopA #{inner_loop_count} ign ifc icc")
+        cc 'Check if block condition met'
+        yield
+        cc ' Wait for the result to propagate through the pipeline'
+        cycle(microcode: 'pipe_minus 1 ign ifc icc')
+        cc 'Branch if block condition met'
+        cycle(microcode: "if (pass) jump block_matched_#{@unique_counter} icc ifc")
+        cycle(microcode: 'clr_flag (fail) icc')
+        cc 'Loop back around if time remaining'
+        cycle(microcode: "end_loopA match_inner_loop_#{@unique_counter} icc")
+        cycle(microcode: "end_loopB match_outer_loop_#{@unique_counter} icc")
+        if options[:force_fail_on_timeout]
+          cc 'To get here something has gone wrong, check block again to force a pattern failure'
+          yield
+        end
+        if options[:on_timeout_goto]
+          cycle(microcode: "jump #{options[:on_timeout_goto]} icc")
+        else
+          cycle(microcode: "jump match_loop_end_#{@unique_counter} icc")
+          # cycle(:microcode => 'halt')
+        end
+        microcode "block_matched_#{@unique_counter}:"
+        cycle(microcode: 'pop_loop icc')
+        unless options[:clr_fail_post_match]
+          cycle(microcode: 'clr_fail')
+        end
+        if options[:on_block_match_goto]
+          cycle(microcode: "jump #{options[:on_block_match_goto]}")
+        end
+        microcode "match_loop_end_#{@unique_counter}:"
+        if options[:clr_fail_post_match]
+          cycle(microcode: 'clr_fail')
+        end
+
+        @unique_counter += 1  # Increment so a different label will be applied if another
+        # handshake is called in the same pattern
+      end
+
+      # Call a match loop.
+      #
+      # Normally you would put your match loop in a global subs pattern, then you can
+      # call it via this method. This method automatically syncs match loop naming with
+      # the match generation flow, no arguments required.
+      #
+      # This is a J750 specific API.
+      #
+      # ==== Examples
+      #   $tester.cycle
+      #   $tester.call_match  # Calls the match loop, or the first entry point if you have multiple
+      #   $tester.cycle
+      #   $tester.call_match  # Calls the match loop, or the second entry point if you have multiple
+      def call_match
+        @match_counter = @match_counter || 0
+        call_subroutine("match_done_#{@match_counter}")
+        @match_counter += 1 unless @match_counter == (@match_entries || 1) - 1
+      end
+
+      # Apply a label to the pattern.
+      #
+      # No additional vector is generated.
+      # Arguments:
+      #    name : label name
+      #  global : (optional) whether to apply global label, default=false
+      #
+      # ==== Examples
+      #   $tester.label("something_significant")
+      #   $tester.label("something_significant",true) # apply global label
+      def label(name, global = false)
+        global_opt = (global) ? 'global ' : ''
+        microcode global_opt + name + ':'
+      end
+
+      # * J750 Specific *
+      #
+      # Set a readcode.
+      #
+      # Use the set an explicit readcode for communicating with the tester. This method
+      # will generate an additional vector.
+      #
+      # ==== Examples
+      #   $tester.set_code(55)
+      def set_code(code)
+        cycle(microcode: "set_code #{code}")
+      end
+
+      # Branch execution to the given point.
+      #
+      # This generates a new vector with a jump instruction to a given label. This method
+      # will generate an additional vector.
+      #
+      # ==== Examples
+      #   $tester.branch_to("something_significant")
+      def branch_to(label)
+        cycle(microcode: "jump #{label}")
+      end
+      alias_method :branch, :branch_to
+
+      # Add loop to the pattern.
+      #
+      # Pass in a name for the loop and the number of times to execute it, all vectors
+      # generated by the given block will be captured in the loop.
+      #
+      # Optional arguments: global - whether to apply global label (default=false)
+      #                label_first - whether to apply loop label before loop vector or not
+      #
+      # ==== Examples
+      #   $tester.loop_vectors("pulse_loop", 3) do   # Do this 3 times...
+      #       $tester.cycle
+      #       some_other_method_to_generate_vectors
+      #   end
+      def loop_vectors(name, number_of_loops, global = false, label_first = false)
+        if number_of_loops > 1
+          @loop_counters ||= {}
+          if @loop_counters[name]
+            @loop_counters[name] += 1
+          else
+            @loop_counters[name] = 0
+          end
+          loop_name = @loop_counters[name] == 0 ? name : "#{name}_#{@loop_counters[name]}"
+          if label_first
+            global_opt = (global) ? 'global ' : ''
+            microcode "#{global_opt}#{loop_name}: "
+          end
+          cycle(microcode: "loopA #{number_of_loops}")
+          unless label_first
+            global_opt = (global) ? 'global ' : ''
+            cycle(microcode: "#{global_opt}#{loop_name}: ")
+          end
+          yield
+          cycle(microcode: "end_loopA #{loop_name}")
+        else
+          yield
+        end
+      end
+      alias_method :loop_vector, :loop_vectors
+
+      # An internal method called by Origen to create the pattern header
+      def pattern_header(options = {})
+        options = {
+          subroutine_pat: false,
+          group:          false,            # If true the end pattern is intended to run within a pattern group
+          high_voltage:   false,     # Supply a pin name here to declare it as an HV instrument
+          freq_counter:   false,     # Supply a pin name here to declare it as a frequency counter
+          memory_test:    false,      # If true, define 2-bit MTO DGEN as instrument
+        }.merge(options)
+
+        called_timesets.each do |timeset|
+          microcode "import tset #{timeset.name};"
+        end
+        unless options[:group]    # Withhold imports for pattern groups, is this correct?
+          called_subroutines.each do |sub_name|
+            # Don't import any called subroutines that are declared in the current pattern
+            microcode "import svm_subr #{sub_name};" unless local_subroutines.include?(sub_name)
+          end
+        end
+        # Should implement this more like @instruments.each...
+        if options[:memory_test]
+          microcode 'instruments = {'
+          microcode '               mto:dgen_2bit;'
+          microcode '}'
+        end
+        microcode "svm_only_file = #{options[:subroutine_pat] ? 'yes' : 'no'};"
+        microcode 'opcode_mode = extended;'
+        microcode 'compressed = yes;' # if $soc.gzip_patterns
+        options[:high_voltage] = @use_hv_pin
+        microcode "pin_setup = {#{options[:high_voltage]} high_voltage;}" if options[:high_voltage]
+        microcode "pin_setup = {#{options[:freq_counter]} freq_count;}" if options[:freq_counter]
+        microcode ''
+
+        pin_list = ordered_pins.map do |p|
+          if Origen.app.pin_pattern_order.include?(p.id)
+            p.id # specified name overrides pin name
+          else
+            p.name
+          end
+        end.join(', ')
+
+        microcode "vector ($tset, #{pin_list})"
+        microcode '{'
+        unless options[:subroutine_pat]
+          microcode 'start_label pattern_st:'
+        end
+      end
+
+      # An internal method called by Origen to generate the pattern footer
+      def pattern_footer(options = {})
+        options = {
+          subroutine_pat: false,
+          end_in_ka:      false,
+          end_with_halt:  false
+        }.merge(options)
+        # cycle(:microcode => "#{$soc.end_of_pattern_label}:") if $soc.end_of_pattern_label
+        if options[:end_in_ka]
+          $tester.cycle microcode: 'keep_alive'
+        else
+          if options[:end_with_halt]
+            $tester.cycle microcode: 'halt'
+          else
+            $tester.cycle microcode: 'end_module' unless options[:subroutine_pat]
+          end
+        end
+        microcode '}'
+      end
+
+      # Returns an array of subroutines called while generating the current pattern
+      def called_subroutines
+        @called_subroutines ||= []
+      end
+
+      # Returns an array of subroutines created by the current pattern
+      def local_subroutines # :nodoc:
+        @local_subroutines ||= []
+      end
+
+      # This is an internal method use by Origen which returns a fully formatted vector
+      # You can override this if you wish to change the output formatting at vector level
+      def format_vector(vec)
+        timeset = vec.timeset ? "> #{vec.timeset.name}" : ''
+        pin_vals = vec.pin_vals ? "#{vec.pin_vals} ;" : ''
+        if vec.repeat > 1
+          microcode = "repeat #{vec.repeat}"
+        else
+          microcode = vec.microcode ? vec.microcode : ''
+        end
+        # if vec.pin_vals && vec.number && vec.cycle_number
+        #  comment = " // Vector #{@pattern_vectors}, Cycle #{@pattern_cycles}"
+        # else
+        comment = ''
+        # end
+        "#{microcode.ljust(65)}#{timeset.ljust(31)}#{pin_vals}#{comment}"
+      end
+
+      # Override this to force the formatting to match the v1 J750 model (easier diffs)
+      def push_microcode(code) # :nodoc:
+        stage.store(code.ljust(65) + ''.ljust(31))
+      end
+      alias_method :microcode, :push_microcode
+
+      # All vectors generated with the supplied block will have all pins set
+      # to the repeat previous state. Any pins that are changed state within
+      # the block will still update to the supplied value.
+      # ==== Example
+      #   # All pins except invoke will be assigned the repeat previous code
+      #   # in the generated vector. On completion of the block they will
+      #   # return to their previous state, except for invoke which will
+      #   # retain the value assigned within the block.
+      #   $tester.repeat_previous do
+      #       $top.pin(:invoke).drive(1)
+      #       $tester.cycle
+      #   end
+      def repeat_previous
+        pinmap = Origen.pin_bank.pins
+        pinmap.each { |_id, pin| pin.repeat_previous = true }
+        yield
+        pinmap.each { |_id, pin| pin.repeat_previous = false }
+      end
+
+      def ignore_fails(*pins)
+        pins.each(&:suspend)
+        yield
+        pins.each(&:resume)
+      end
+
+      def j750?
+        true
+      end
+    end
+  end
+end