可实现性问题相关硕士博士期刊学术论文

随着数字系统设计日益复杂化，对于系统设计和实现正确性的要求越来越高。如何在整个系统设计代码空间中定位到满足给定性质的模块，从......