状态机死锁相关论文
为快速有效地对集成电路设计中潜在的常见错误进行检测，提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输......
近年来,随着数字集成电路工艺的迅速发展,芯片集成度的进一步提高,电路规模变得越来越大,复杂度也越来越高,其功能正确性也越来越......
学位
