../

BPS Instruction Decode Results

  • BPS generated 53 assertions, 22 (41%) were proven, 31(58.49%) had CEX
  • Program:Rules split is as follows
    • program00.vcd 47
    • program01.vcd 2
    • program11.vcd 4
  • No rules were mined from the other programs

Changing the Template

  • I changed the template from A |=> B to A |-> ##1 B.
  • Somehow this increased the number of rules significantly

But only 49 are reachable