% render "layouts/guides.html" do The runtime flow control of a test program is an area that can be particularly messy: * Need to deal with different and often obscure vendor APIs * It can be very hard to decipher both the intention and the actual behavior during code reviews * It is easy to make mistakes * Mistakes can be costly - there have been many customer quality incidents in the past from missed test caused by errors in flow control To deal with these problems Origen provides a simple and intuitive API to describe runtime flow logic: * Generates legal and battle-tested code * Takes care of cross-platform implementation * Makes flow control easy to review * Covers over gaps or weaknesses in the vendor APIs Conditional tests fall into two categories: * Those that will run based on the flow execution environment. For example based on the job selected at runtime or on some enable flag that can be set by the user at runtime. * Those that will only run based on the outcome of another test - i.e. execute a given test based on whether a previous test passed, failed or ran at all. #### Execution Based on the Runtime Environment The following methods are available to describe these cases: * **if_enable / unless_enable** - Run the test if a flow runtime option is/is not enabled at runtime * **if_job / unless_job** - Run based on the current job (P1, FR, QC, etc) Here are some examples of how to apply these methods to single tests: ~~~ruby # Run this test to characterize the vreg, only if the 'vreg_cz' flag has been enabled para :vreg_meas, softbin: 107, cz: true, if_enable: "vreg_cz" # Apply HVST to the vreg module, unless the 'skip_hvst' flag has been enabled func :vreg_hvst, softbin: 101, hv: 10.V, vdd: :max, unless_enable: "skip_hvst" # Run this test only at cold para :vreg_meas, softbin: 105, lo: 1.12, hi: 1.34V, if_job: "FC" ~~~ The use of `if/unless_enable` will make use of flow enable words on Teradyne platforms and user flow variables on Advantest. The `if/unless_job` control will make use of the job column on Teradyne platforms and a user flow variable named `@JOB` on Advantest. Both of these controls support a block form, which allows it to be applied to a group of test and, in the case of enable words, it also provides a way to implement AND and OR logic: ~~~ruby # OR - Run these tests if either word is set if_enable [:word1, :word2] do func: :test1 func: :test2 end # AND - Run these tests if both words are set if_enable :word1 do if_enable :word2 do func: :test1 func: :test2 end end ~~~ #### Execution Based on Relational Expressions The following methods are available to describe these cases: * **whenever** - Run the test(s) if the relational expression evaluates to TRUE * **whenever_all** - Run the test(s) if ALL of the relational expressions evaluate to TRUE * **whenever_any** - Run the test(s) if ANY of the relational expressions evaluate to TRUE The following relational operators are available for use with the above methods: * **eq** - equal to * **ne** - not equal to * **gt** - greater than * **ge** - greater than or equal to * **lt** - less than * **le** - less than or equal to Here are some examples of how to apply these methods: ~~~ruby # Run these tests if VAR1 is greater than 2 whenever gt(:var1, 2) do func: :test1 func: :test2 end # Run these tests if VAR1 is greater than 2 AND VAR2 is less than VAR3 whenever_all gt(:var1, 2), lt(:var2, :var3) do func: :test1 func: :test2 end # Run these tests if VAR1 is greater than 2 OR VAR2 is less than VAR3 whenever_any gt(:var1, 2), lt(:var2, :var3) do func: :test1 func: :test2 end ~~~ Additionally, these variables can be set in the flow using the **set** method as shown in here: ~~~ruby # Set the VAR1 = 1 set :var1, 1 set :var2, 'OFF' set :var3, 3.14 # Update VAR1 value based on some runtime condition if_enable :some_other_variable do set :var1, 3 end # Run these tests if VAR1 is greater than 2 whenever gt(:var1, 2) do func: :test1 func: :test2 end ~~~ #### Execution Based on a Previous Test The following methods are available to describe these cases: * **if_ran / unless_ran** - Run only if a previous test did or did not run * **if_failed (unless_passed)** - Run only if a previous test failed * **if_passed (unless_failed)** - Run only if a previous test passed All of these methods require you to provide the ID of the previous test on which the conditional execution will depend. This ID must be assigned by you in the flow line of the previous test by adding an `:id` key, like this: ~~~ruby para :vreg_meas, softbin: 105, lo: 1.12, hi: 1.34, id: :vreg_meas_1 ~~~ The ID can be any value you like as long as it is unique, Origen will raise an error if any duplicate IDs are encountered. On the dependent tests the API is similar to the previous examples except the ID of the previous test is given in place of the enable flag or job name. Here are some examples: ~~~ruby para :vreg_meas, softbin: 105, lo: 1.12, hi: 1.34, id: :vreg_meas_1 # Automatically characterize the vreg if the measurement fails para :vreg_meas, softbin: 107, cz: true, if_failed: :vreg_meas_1 # Then bin out bin 3, softbin: 105, if_failed: :vreg_meas_1 # Check if the HVST has already been run on this device func :rd_vreg_hvst_passcode, softbin: 50, vdd: :nom, id: :vreg_hvst_done # If not run it func :vreg_hvst, softbin: 101, hv: 10.V, vdd: :max, unless_passed: :vreg_hvst_done # And program the flag for next time func :pgm_vreg_hvst_passcode, softbin: 51, vdd: :nom, unless_passed: :vreg_hvst_done ~~~ Origen automatically takes care of setting up all of the tests in the relationship: * The parent tests in the relationship are automatically set to continue on fail * Flag(s) will be set to indicate whether the parent test passed or failed * Conditional execution flags are set on all dependent tests AND and OR conditions can be created by using `if_any/all_failed/passed` variations as follows: ~~~ruby func :test1, id: :t1 func :test2, id: :t2 # OR logic - This test will run if either of the referenced tests fail func :test3, if_any_failed: [:t1, :t2] # AND logic - This test will only run if both of the referenced tests fail func :test4, if_all_passed: [:t1, :t2] # Block forms are available as with all condition APIs if_any_passed [:t1, :t2] do #... end ~~~ #### References to External Tests It is possible to generate conditional relationships between tests that span across different flow modules, in that case the test ID must be appended with `:extern_`. This will indicate to Origen that the reference is external and will prevent an error being raised for the ID not being found within the current flow. Here is an example: ~~~ruby # program/flow_1.rb Flow.create do # This ID can only be referenced within this flow func :test1, id: :t1 # This ID can be referenced outside of this flow func :test2 id: :extern_t2 end # program/flow_2.rb Flow.create do # This will generate an undefined ID error func :test3, if_failed: :t1 # But this will work, since the ID's name indicates that it is an intentional external reference func :test4, if_failed: :extern_t2 end ~~~ #### Applying Conditions to Sub-Flows All of the flow control methods have a block form which will apply the condition to all tests within the block. A very useful pattern is to split your code into small re-usable snippets and then wrap the import with these flow control methods to apply conditional execution. For example, here the 'FH' job requirement will be applied to all tests imported from the vreg component: ~~~ruby # Only run the vreg tests at hot if_job "FH" do import "components/vreg" end ~~~ #### Conditions Applied to Groups Groups can also be used to implement AND/OR logic, here is an example of how you might implement a speed binning flow: ~~~ruby group "200Mhz", id: :spec200 do func :test1_200 func :test2_200 end # Bin out to bin 1 if passed at 200 Mhz, here if_passed will apply to all tests in the group pass 1, if_passed: :spec200 group "100Mhz", id: :spec100 do func :test1_100 func :test2_100 end # Bin out to bin 2 if passed at 100 Mhz, here if_passed will apply to all tests in the group pass 2, if_passed: :spec100 # Otherwise we have failed bin 3 ~~~ #### Manually Setting and Referencing Flags It may be sometimes be necessary to react on a flag that is controlled by a 3rd party and which will be passed into an Origen-based test block, or to set a flag which a 3rd party test block will later reference. An API exists to manually set and react to flags in these situations: ~~~ruby log "Example of manual flag setting upon pass or fail" test :test1, on_pass: { set_flag: :my_pass_flag }, on_fail: { set_flag: :my_fail_flag }, continue: true # Execute only if the above pass flag was set test :test2, if_flag: :my_pass_flag # Execute only if the above pass flag was not set unless_flag :my_pass_flag do test :test3 end ~~~ Note that flag names will usually be forced to uppercase, this is to institute a convention that flags/flow variables are always uppercased in order to avoid any test program bugs from incorrectly referencing a given flag due to case sensitivity. However, if you need to reference a flag from a 3rd party test module that does not follow this convention, then a literal flag can be supplied by prefixing it with `$` as shown below: ~~~ruby test :test1, on_fail: { set_flag: :$My_Mixed_Flag }, continue: true test :test2, if_flag: "$My_Mixed_Flag" unless_flag "$My_Mixed_Flag" do test :test3 end test :extra_test, if_enable: :$MCEn_extras unless_enable "$MCEn_test" do test :test1 test :test2 end ~~~ In all cases the `$` will be removed from the final flag name that appears in the test program. #### Adding the V93K bypass option: Add the flow bypass option: ~~~ruby Flow.create interface: 'My::Interface', flow_bypass: true do test :test1 end Flow.create interface: 'My::Interface' do flow.flow_bypass = true test :test1 end ~~~ Add group bypass option: ~~~ruby group :my_group, bypass: true do test :test1 end ~~~ Add group comment/description options; ~~~ruby group :my_other_group, comment: "This is the other group" do test :test1 end ~~~ % end