1
|
情绪图库验证系统的设计与实现 |
赵柯
卿粼波
熊淑华
刘苹
王亚男
|
《智能计算机与应用》
|
2023 |
0 |
|
2
|
数字专用集成电路设计中的SystemC建模验证方法 |
罗琨
尹建华
黄天锡
曹阳
赵磊
|
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
|
2002 |
5
|
|
3
|
集成ISS的SystemC内核的协同验证环境设计 |
张洵颖
龚龙庆
|
《微电子学与计算机》
CSCD
北大核心
|
2006 |
3
|
|
4
|
农村经济发展与化肥使用量的库兹涅茨曲线假说及验证 |
巩前文
田志宏
|
《中国农业大学学报(社会科学版)》
CSSCI
|
2010 |
17
|
|
5
|
基于SystemC描述的嵌入式系统的自动化验证 |
陈燕
杜玄
彭澄廉
|
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
|
2004 |
1
|
|
6
|
OVL断言验证库的ARINC429通讯板卡设计验证 |
周德新
李珊
|
《计算机工程与设计》
CSCD
北大核心
|
2010 |
2
|
|
7
|
森林资源环境库兹涅茨曲线经验验证 |
石春娜
王立群
|
《统计与决策》
CSSCI
北大核心
|
2007 |
13
|
|
8
|
基于验证库的微处理器指令集验证方法 |
龚令侃
王玉艳
章建雄
|
《计算机工程》
CAS
CSCD
北大核心
|
2009 |
1
|
|
9
|
一种标准单元库的自动仿真验证方法 |
侯立刚
朱琳
赵未
智景松
彭晓宏
汪金辉
|
《微电子学》
CAS
CSCD
北大核心
|
2017 |
0 |
|
10
|
SoC中基于OCP-SystemC的虚部件库设计研究 |
夏新军
陈吉华
|
《计算机工程与应用》
CSCD
北大核心
|
2005 |
0 |
|
11
|
城乡居民收入差距的库兹涅茨曲线验证——以甘肃省为例 |
杨清
潘婷
|
《湖南农业科学》
|
2014 |
1
|
|
12
|
基于SystemC和ISS的软硬件协同验证方法 |
杜旭
黄飞
黄建
|
《微计算机信息》
北大核心
|
2007 |
0 |
|
13
|
教学资源库建设中的唯一性验证方法研究 |
王善利
李晓捷
|
《教育信息化》
CSSCI
|
2006 |
0 |
|
14
|
使用SystemC进行基于事务的验证 |
牛振兴
杜旭
|
《计算机应用》
CSCD
北大核心
|
2006 |
3
|
|
15
|
0.25μm宏单元库的验证 |
薛庆华
张明
刘伟
|
《中国集成电路》
|
2003 |
0 |
|
16
|
基于规则库的电信业务UML活动图验证机制 |
冯跃忠
李晓峰
|
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
|
2008 |
2
|
|
17
|
基于SystemC参考模型的UVM验证平台设计 |
汪永峰
卜刚
|
《计算机技术与发展》
|
2021 |
2
|
|
18
|
基于SystemC的软硬件协同验证 |
张志杰
林涛
|
《今日电子》
|
2007 |
2
|
|
19
|
农业面源污染的环境库兹涅茨拟合曲线验证与分析——以中国西北地区某省为例 |
戴清秀
王鹏程
|
《可持续发展》
|
2019 |
2
|
|
20
|
基于SystemC的事务级协同验证方法研究 |
王长慧
|
《电子与电脑》
|
2006 |
1
|
|