曹阳 王沁 罗桂琼 凌明 何伟 罗春 杨军 杨王君 毛志刚 马秦生 王敏 董超 殷景华 席筱颖 张多利 彭来献 贺珊

验证平台 向量自动生成 事务级 p-iDRR 遗传算法 微处理器 超大规模集成电路 输入排队 IIC总线接口 服务质量 Open Vera 随机过程 验证环境 调度算法 测试向量 系统级验证 基于覆盖率的方法 测试平台 模型 VLIW