Equivalence Checking of Bounded Sequential Circuits based on Gröbner Basis
- Affiliation of Author(s):计算机科学与技术学院
- Funded by:国家自然科学基金项目
- First Author:wangguanjun
- Indexed by:会议论文
- Document Code:paper_95180
- Translation or Not:no
- Date of Publication:2014-12-12
Pre One:
数字系统设计实验教学微课程设计与实现