Buobe
    PredicateJudge -- analyze the design based on SPI | Buobe