交易级处理器相关硕士博士期刊学术论文

针对当前专用数字集成电路设计中的验证瓶颈，为了在更高的抽象级别对设计对象进行描述和验证，提出一种软硬件协同验证方法。该方法基......