FEASTSMT CAPABILITIES

Model Checking

slide5

Several options for model verification

  • Highlight free edge
  • Duplicate elements
  • Plate warpage
  • Aspect ratio
  • Maximum and minimum interior angles of plate