状态机死锁论文

基于静态分析的RTL设计错误检测方法研究
论文摘要近年来,随着数字集成电路工艺的迅速发展,芯片集成度的进一步提高,电路规模变得越来越大,复杂度也越来越高,其功能正确性也越来越受到人们的重视。然而,如何保证集成电路设计的...