SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
Cache Memory Subsystem Verification: UVM Agent Based
计算机科学
隐藏物
智能验证
功能验证
验证
高级验证
嵌入式系统
集合（抽象数据类型）
软件验证
形式验证
操作系统
程序设计语言
软件
软件系统
软件建设
作者
Ashok K. Mehta
标识
DOI：10.1007/978-3-319-59418-7_17
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Liixy
发布了新的
文献求助
10
刚刚
深情安青
的
应助
被
wanghuhu
采纳，获得
10
2秒前
汤圆
发布了新的
文献求助
10
3秒前
吃紫薯的鱼
完成签到，获得积分
10
3秒前
dalin
完成签到
，获得积分
10
4秒前
科研通AI6.4
上传了
应助文件
8秒前
Moonpie
的
应助
被
哒哒哒
采纳，获得
10
9秒前
搬搬
完成签到
，获得积分
20
16秒前
喬老師
完成签到，获得积分
10
18秒前
科研通管家
关闭了
cky
的
文献求助
26秒前
科研通管家
关闭了
cky
的
文献求助
26秒前
桐桐
的
应助
被
科研通管家
采纳，获得
10
26秒前
赘婿
的
应助
被
科研通管家
采纳，获得
10
26秒前
搜集达人
的
应助
被
科研通管家
采纳，获得
10
26秒前
丘比特
的
应助
被
科研通管家
采纳，获得
10
26秒前
可靠诗筠
完成签到
，获得积分
10
33秒前
skysun
完成签到，获得积分
10
37秒前
wanghuhu
完成签到，获得积分
10
39秒前
Shichao_Wei
完成签到，获得积分
10
41秒前
Moonpie
上传了
应助文件
42秒前
李爱国
上传了
应助文件
52秒前
吃了就会胖
完成签到
，获得积分
10
52秒前
欣欣
完成签到
，获得积分
10
54秒前
科研通AI6.2
的
应助
被
难过花瓣
采纳，获得
10
55秒前
彭于晏
的
应助
被
Shichao_Wei
采纳，获得
100
56秒前
weirdo
发布了新的
文献求助
10
57秒前
xLi
完成签到，获得积分
10
58秒前
自信的芷巧
完成签到
，获得积分
10
1分钟前
qqq
完成签到
，获得积分
0
1分钟前
小番茄
完成签到
，获得积分
10
1分钟前
英俊的铭
上传了
应助文件
1分钟前
小二郎
的
应助
被
双子土豆泥
采纳，获得
10
1分钟前
Moonpie
上传了
应助文件
1分钟前
weirdo
完成签到，获得积分
10
1分钟前
光亮如彤
完成签到，获得积分
0
1分钟前
Moonpie
的
应助
被
超级的起眸
采纳，获得
10
1分钟前
sweetrumors
完成签到，获得积分
10
1分钟前
xiaoxu
发布了新的
文献求助
10
1分钟前
白雅颂
完成签到
，获得积分
10
1分钟前
初晴
完成签到
，获得积分
10
1分钟前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
Psychopathic Traits and Quality of Prison Life
1000
Development Across Adulthood
1000
Chemistry and Physics of Carbon Volume 18
800
The formation of Australian attitudes towards China, 1918-1941
660
Signals, Systems, and Signal Processing
610
天津市智库成果选编
600
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
物理
内科学
复合材料
催化作用
物理化学
光电子学
电极
细胞生物学
基因
无机化学
热门帖子
关注
科研通微信公众号，转发送积分
6451060
求助须知：如何正确求助？哪些是违规求助？
8263048
关于积分的说明
17605656
捐赠科研通
5515778
什么是DOI，文献DOI怎么找？
2903520
邀请新用户注册赠送积分活动
1880563
关于科研通互助平台的介绍
1722570
今日热心研友
邓佳鑫Alan
1530
GingerF
18
610
Moonpie
62
140
学术文献互助
700
OsamaKareem
10
230
平常丝
200
boson693
200
MP
160
无极微光
5
100
Nature
14
loii
4
100
张欢馨
140
kento
3
50
缓慢怜菡
80
LMNg6n
3
40
XQQDD
70
lizishu
70
ZOE
60
Criminology34
60
小乔
60
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
邓佳鑫Alan
GingerF
Moonpie
学术文献互助
OsamaKareem
平常丝
boson693
MP
无极微光
Nature
loii
张欢馨
kento
缓慢怜菡
LMNg6n
XQQDD
lizishu
ZOE
Criminology34
小乔
皖公网安备34019202002308
