../

Meeting with Tommy

C++ and Formal Verification

  • Formal can mean a lot of things

  • So far, we’ve only looked at Model checking of assertions

  • But there are other things such as Model equivalence that would also be considered as formal

    • Two different implementation in C++ and RTL can be “proved” to be the same

  • Move to using UVA’s Claude API

  • Do all the testing with a smaller, cheaper model and only run the big model once in a while

  • Start off with the smallest possible design

  • Keep the comments

  • Only remove the licenses

  • Test out if comments make a difference

  • Test out if white space makes a difference