数字集成电路功耗与测试综合优化

本书介绍了数字电路综合验证和代数学理论的应用研究现状。然后分五部分分别介绍了多项式符号代数在高层次综...

2016.