Class Functional

Namespace: CsraTestMethods.Search

Assembly: CsraTestMethods.dll

[TestClass(Creation.TestInstance)]
[Serializable]
public class Functional : TestCodeBase

Inheritance: object

TestCodeBase

Functional

Inherited Members: TestCodeBase.HandleUntrappedError(Exception)

TestCodeBase.AbortTest()

TestCodeBase.ForEachSite(Action<int>, tlSiteType, Func<Exception, bool>)

TestCodeBase.CreateArray<T>(int, string)

TestCodeBase.CreateArray<T>(int, int, string)

TestCodeBase.CreateArray<T>(int, int, int, string)

TestCodeBase.CreateArray<T>(Func<T>, int, string)

TestCodeBase.CreateArray<T>(Func<T>, int, int, string)

TestCodeBase.CreateArray<T>(Func<T>, int, int, int, string)

TestCodeBase.CreateLazyArray<T>(params int[])

TestCodeBase.DebugBreak()

TestCodeBase.TheExec

TestCodeBase.TheHdw

TestCodeBase.TheProgram

TestCodeBase.FlowDomains

TestCodeBase.ShouldRunPreBody

TestCodeBase.ShouldRunBody

TestCodeBase.ShouldRunPostBody

object.ToString()

object.Equals(object)

object.Equals(object, object)

object.ReferenceEquals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

Methods

Binary(Pattern, PinList, double, double, double, bool, double, string)

The search range is divided in half at each iteration, with a check performed on the midpoint, and the search stops once the target condition is met. The input value where the condition passes is then returned as the result.

[TestMethod]
[Steppable]
[CustomValidation]
public void Binary(Pattern pattern, PinList forcePins, double from, double to, double minDelta, bool invertedOutput, double waitTime, string setup = "")

Parameters

pattern Pattern: The pattern to run.
forcePins PinList: The pins that are being forced. The support pin types can be DC(DCVI, DCVS and PPMU) and Digital(Vih level).
from double: The starting value of the linear input ramp.
to double: The stopping value of the linear input ramp.
minDelta double: The minimum allowable difference between successive input values, used to determine when the search should stop.
invertedOutput bool: A flag indicating whether the output is inverted, affecting the search logic.
waitTime double: The wait time per step during ramp execution, used to delay measurement after each force transition.
setup string: Optional. The name of the setup set to be applied through the setup service.

Details

Test Technique

to be added

Implementation

The PreBody section applies levels and timing from the test instance context. Optionally, applies the specified setup. For the force pin, specified in forcePins, it disconnects any pin electronics and connects the DC path.

The Body section performs a binary search (via Vih for the Digital pin, voltage for DCVI/DCVS/PPMU pin) until it determines the device input condition for which the pattern passes. Finally, it returns the input value that produces a passing pattern result. If no such value is found, the function returns -999 as a failure indicator.

The PostBody section restores the pin electronics connection for digital pins after gating off and disconnecting the dc path. Finally, logs a parametric datalog.

Platform Specifics

Supports stepping capability for PreBody/Body/PostBody.

Pre Conditions

none

Post Conditions

none

Limitations

Pin features supporting DCVI, DCVS, PPMU, and Digital, note that PPMU must be used in combination with either DCVI or DCVS to function.

Code Reference

[TestMethod, Steppable, CustomValidation]
public void Binary(Pattern pattern, PinList forcePins, double from, double to, double minDelta, bool invertedOutput, double waitTime,
    string setup = "") {

    if (TheExec.Flow.IsValidating) {
        TheLib.Validate.Pattern(pattern, nameof(pattern), out _pattern);
        TheLib.Validate.Pins(forcePins, nameof(forcePins), out _pins);
        TheLib.Validate.GreaterThan(minDelta, 0, nameof(minDelta));
        TheLib.Validate.InRange(waitTime, 0, 600, nameof(waitTime));
        _containsDcviDcvs = _pins.ContainsFeature(InstrumentFeature.Dcvi) || _pins.ContainsFeature(InstrumentFeature.Dcvs);
        if (_containsDcviDcvs) _containsDigitalPins = _pins.ContainsFeature(InstrumentFeature.Digital);
    }

    if (ShouldRunPreBody) {
        TheLib.Setup.LevelsAndTiming.Apply(true);
        Services.Setup.Apply(setup);
        if (_containsDcviDcvs) {
            if (_containsDigitalPins) TheLib.Setup.Digital.Disconnect(_pins);
            TheLib.Setup.Dc.Connect(_pins);
        }
    }

    if (ShouldRunBody) {
        if (_containsDcviDcvs) {
            TheLib.Setup.Dc.ForceV(_pins, (from + to) / 2);
            TheLib.Execute.Wait(waitTime); // first step may be bigger than the subsequent ones, use 2x settling
        }
        _values = TheLib.Acquire.Search.BinarySearch(from, to, minDelta, invertedOutput, (forceValue) => {
            ForEachSite(site => {
                if (_containsDcviDcvs) TheLib.Setup.Dc.Modify(_pins, voltage: forceValue[site]);
                else TheLib.Setup.Digital.ModifyPinsLevels(pins: _pins, levelsType: ChPinLevel.Vih, levelsValue: forceValue[site]);
            });
            TheLib.Execute.Wait(waitTime);
            TheLib.Execute.Digital.RunPattern(_pattern[0]);
            return TheLib.Acquire.Digital.PatternResults();
        },
        patResult => patResult,
        _notFoundResult
        );
    }

    if (ShouldRunPostBody) {
        if (_containsDcviDcvs) {
            TheLib.Setup.Dc.Disconnect(_pins);
            if (_containsDigitalPins) TheLib.Setup.Digital.Connect(_pins);
        }
        TheLib.Datalog.TestParametric(_values);
    }
}

LinearFull(Pattern, PinList, double, double, int, double, string)

The measurements across the entire range are traversed without being evaluated during the linear search, after which the device input condition for which the pattern passes is provided.

[TestMethod]
[Steppable]
[CustomValidation]
public void LinearFull(Pattern pattern, PinList forcePins, double from, double to, int count, double waitTime, string setup = "")

Parameters

pattern Pattern: The pattern to run.
forcePins PinList: The pins that are being forced. The support pin types can be DC(DCVI, DCVS and PPMU) and Digital(Vih level).
from double: The starting value of the linear input ramp.
to double: The stopping value of the linear input ramp.
count int: The number of input points for which the search is performed.
waitTime double: The wait time per step during ramp execution, used to delay measurement after each force transition.
setup string: Optional. The name of the setup set to be applied through the setup service.

Details

Test Technique

to be added

Implementation

The Body section performs an unconditional linear search (via Vih for the Digital pin, voltage for DCVI/DCVS/PPMU pin) and determines the device input condition for which the pattern passes. Finally, it returns the input value that results in a passing pattern result. If no such value is found, the function returns -999 as a failure indicator.

The PostBody section restores the pin electronics connection for digital pins after gating off and disconnecting the dc path. Finally, logs a parametric datalog.

Platform Specifics

Supports stepping capability for PreBody/Body/PostBody.

Pre Conditions

none

Post Conditions

none

Limitations

Pin features supporting DCVI, DCVS, PPMU, and Digital, note that PPMU must be used in combination with either DCVI or DCVS to function.

Code Reference

[TestMethod, Steppable, CustomValidation]
public void LinearFull(Pattern pattern, PinList forcePins, double from, double to, int count, double waitTime, string setup = "") {

    if (TheExec.Flow.IsValidating) {
        TheLib.Validate.Pattern(pattern, nameof(pattern), out _pattern);
        TheLib.Validate.Pins(forcePins, nameof(forcePins), out _pins);
        TheLib.Validate.GreaterOrEqual(count, 2, nameof(count));
        TheLib.Validate.InRange(waitTime, 0, 600, nameof(waitTime));
        _containsDcviDcvs = _pins.ContainsFeature(InstrumentFeature.Dcvi) || _pins.ContainsFeature(InstrumentFeature.Dcvs);
        if (_containsDcviDcvs) _containsDigitalPins = _pins.ContainsFeature(InstrumentFeature.Digital);
    }

    if (ShouldRunPreBody) {
        TheLib.Setup.LevelsAndTiming.Apply(true);
        Services.Setup.Apply(setup);
        if (_containsDcviDcvs) {
            if (_containsDigitalPins) TheLib.Setup.Digital.Disconnect(_pins);
            TheLib.Setup.Dc.Connect(_pins);
        }
    }

    if (ShouldRunBody) {
        _measurements = [];
        if (_containsDcviDcvs) {
            TheLib.Setup.Dc.ForceV(_pins, from);
            TheLib.Execute.Wait(waitTime); // first step may be bigger than the subsequent ones, use 2x settling
        }
        double increment = TheLib.Acquire.Search.LinearFullFromToCount(from, to, count, (forceValue) => {
            if (_containsDcviDcvs) TheLib.Setup.Dc.Modify(_pins, voltage: forceValue);
            else TheLib.Setup.Digital.ModifyPinsLevels(pins: _pins, levelsType: ChPinLevel.Vih, levelsValue: forceValue);
            TheLib.Execute.Wait(waitTime);
            TheLib.Execute.Digital.RunPattern(_pattern[0]);
            _measurements.Add(TheLib.Acquire.Digital.PatternResults());
        });
        _results = TheLib.Execute.Search.LinearFullProcess(_measurements, from, increment, 0, _notFoundResult, condition => condition);
    }

    if (ShouldRunPostBody) {
        if (_containsDcviDcvs) {
            TheLib.Setup.Dc.Disconnect(_pins);
            if (_containsDigitalPins) TheLib.Setup.Digital.Connect(_pins);
        }
        TheLib.Datalog.TestParametric(_results);
    }
}

LinearStop(Pattern, PinList, double, double, int, double, string)

The measurements across the range are traversed with an evaluation performed at each iteration, and the search is stopped once the pattern passes (on all sites). The device input condition for which the pattern passes is then provided.

[TestMethod]
[Steppable]
[CustomValidation]
public void LinearStop(Pattern pattern, PinList forcePins, double from, double to, int count, double waitTime, string setup = "")

Parameters

pattern Pattern: The pattern to run.
forcePins PinList: The pins that are being forced. The support pin types can be DC(DCVI, DCVS and PPMU) and Digital(Vih level).
from double: The starting value of the linear input ramp.
to double: The stopping value of the linear input ramp.
count int: The number of input points for which the search is performed.
waitTime double: The wait time per step during ramp execution, used to delay measurement after each force transition.
setup string: Optional. The name of the setup set to be applied through the setup service.

Details

Test Technique

to be added

Implementation

The Body section performs a linear search (via Vih for the Digital pin, voltage for DCVI/DCVS/PPMU pin) until it determines the device input condition for which the pattern passes. Finally, it returns the input value that produces a passing pattern result. If no such value is found, the function returns -999 as a failure indicator.

The PostBody section restores the pin electronics connection for digital pins after gating off and disconnecting the dc path. Finally, logs a parametric datalog.

Platform Specifics

Supports stepping capability for PreBody/Body/PostBody.

Pre Conditions

none

Post Conditions

none

Limitations

Pin features supporting DCVI, DCVS, PPMU, and Digital, note that PPMU must be used in combination with either DCVI or DCVS to function.

Code Reference

[TestMethod, Steppable, CustomValidation]
public void LinearStop(Pattern pattern, PinList forcePins, double from, double to, int count, double waitTime, string setup = "") {

    if (TheExec.Flow.IsValidating) {
        TheLib.Validate.Pattern(pattern, nameof(pattern), out _pattern);
        TheLib.Validate.Pins(forcePins, nameof(forcePins), out _pins);
        TheLib.Validate.GreaterOrEqual(count, 2, nameof(count));
        TheLib.Validate.InRange(waitTime, 0, 600, nameof(waitTime));
        _containsDcviDcvs = _pins.ContainsFeature(InstrumentFeature.Dcvi) || _pins.ContainsFeature(InstrumentFeature.Dcvs);
        if (_containsDcviDcvs) _containsDigitalPins = _pins.ContainsFeature(InstrumentFeature.Digital);
    }

    if (ShouldRunPreBody) {
        TheLib.Setup.LevelsAndTiming.Apply(true);
        Services.Setup.Apply(setup);
        if (_containsDcviDcvs) {
            if (_containsDigitalPins) TheLib.Setup.Digital.Disconnect(_pins);
            TheLib.Setup.Dc.Connect(_pins);
        }
    }

    if (ShouldRunBody) {
        if (_containsDcviDcvs) {
            TheLib.Setup.Dc.ForceV(_pins, from);
            TheLib.Execute.Wait(waitTime); // first step may be bigger than the subsequent ones, use 2x settling
        }
        _values = TheLib.Acquire.Search.LinearStopFromToCount(from, to, count, 0, _notFoundResult, (forceValue) => {
            if (_containsDcviDcvs) TheLib.Setup.Dc.Modify(_pins, voltage: forceValue);
            else TheLib.Setup.Digital.ModifyPinsLevels(pins: _pins, levelsType: ChPinLevel.Vih, levelsValue: forceValue);
            TheLib.Execute.Wait(waitTime);
            TheLib.Execute.Digital.RunPattern(_pattern[0]);
            return TheLib.Acquire.Digital.PatternResults();
        },
        patResult => patResult
        );
    }

    if (ShouldRunPostBody) {
        if (_containsDcviDcvs) {
            TheLib.Setup.Dc.Disconnect(_pins);
            if (_containsDigitalPins) TheLib.Setup.Digital.Connect(_pins);
        }
        TheLib.Datalog.TestParametric(_values);
    }
}

Table of Contents

Class Functional

Methods

Binary(Pattern, PinList, double, double, double, bool, double, string)

Parameters

Details

Test Technique

Implementation

Platform Specifics

Pre Conditions

Post Conditions

Limitations

Code Reference

LinearFull(Pattern, PinList, double, double, int, double, string)

Parameters

Details

Test Technique

Implementation

Platform Specifics

Pre Conditions

Post Conditions

Limitations

Code Reference

LinearStop(Pattern, PinList, double, double, int, double, string)

Parameters

Details

Test Technique

Implementation

Platform Specifics

Pre Conditions

Post Conditions

Limitations

Code Reference