实时二叉判定图相关论文
文章在分析形式化验证／综合系统VIS的基础上，改进了该电子系统中的关键技术－－二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统......
本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这......
