../

Meeting Prep

  • We can possibly excuse rule mining to produce non-coverable assertions, why does GPT produce those?
    • I need to refine my setup
    • Some of the non-covered items included GPT inferring the wrong config
    • !rst_ni caused some problems in the Coverage app
  • Fast ways to eliminate these tautologies ?
  • HARM should alway produce 100% coverage

Meeting Notes

Matt Dweyer

  • For assertions with CEX , should to expand the antecedent to make it true?
  • Rare CEX?
  • Code diversity?