Efficiency

• Each test performed at most once

  • (i.e. no retesting)

• Highest-fanout tests performed first

• Overlap tests where possible

  • (e.g. w/lookup tables, binary search, etc.)

Notes: