Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function.

 
  • 二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。
今日热词
目录 附录 查词历史