../
Meeting with Tommy
/tmp
BPS
- We define these points of interest and it tries to prioritize generation assertions about them
- It has a ranking mechanism based on functional complexity. I don’t know the details of this. But there is a way to filter out assertions
- Vectorless extraction didn’t work on the example I had. I have to use a waveform
- On their examples, it generated 21 assertions. All of them were correct. But it makes sense that they would put their best examples
run on CVA-6