|
000
|
01651nam0 2200337 450
|
|
001
|
CAL 012026028577
|
|
005
|
20260612163013.89
|
|
010
|
|
@a978-7-03-082134-8@dCNY138.00
|
|
100
|
|
@a20260113d2026 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
200
|
1
|
@aSystemVerilog断言手册@ASystemVerilog duan yan shou ce@f(美) 本·科恩著@d= SystemVerilog assertions handbook revised@fBen Cohen@g孙健, 魏浩然译@zeng
|
|
210
|
|
@a北京@c科学出版社@d2026.01
|
|
215
|
|
@axxvii, 544页@c图@d26cm
|
|
304
|
|
@a题名页题其余责任者: 斯里尼瓦桑·文卡塔拉曼, 阿吉莎·库玛丽, 丽莎·派珀
|
|
305
|
|
@a据原书第4版修订版译出
|
|
330
|
|
@a本书先通过大量示例展示基础概念, 然后专注于序列和属性的细节, 接着通过更多示例探讨高级主题, 随后讨论了在设计和验证周期的各个阶段 (包括需求、设计和验证阶段) 使用断言的过程, 通过两个完整模型展示了形式化验证的应用, 最后增加了SVA方面的论文, 同时回答了用户在论坛中提出的问题。书中所呈现的编码和使用指南源自作者多年的设计与验证工作经验, 以及对硬件描述语言、断言语言和框架库的使用与教学经验。
|
|
500
|
10
|
@aSystemVerilog assertions handbook revised@mChinese
|
|
606
|
0
|
@a硬件描述语言@Aying jian miao shu yu yan@x程序设计@j手册
|
|
610
|
0
|
@aSystemVerilog
|
|
690
|
|
@aTP312.8VH-62@v5
|
|
690
|
|
@aTP312.8@v4
|
|
701
|
1
|
@a科恩@Ake en@g(Cohen, Ben)@4著
|
|
701
|
1
|
@a文卡塔拉曼@Awen ka ta la man@g(Venkataramanan, Srinivasan)@4著
|
|
701
|
1
|
@a库玛丽@Aku ma li@g(Kumari, Ajeetha)@4著
|
|
701
|
1
|
@a派珀@Apai po@g(Piper, Lisa)@4著
|
|
702
|
0
|
@a孙健@Asun jian@4译
|
|
702
|
0
|
@a魏浩然@Awei hao ran@4译
|
|
801
|
0
|
@aCN@b人天书店@c20260113
|
|
905
|
|
@b21525041-43@dTP312.8@e548@f3
|
|
|
|
|
| |
| SystemVerilog断言手册/(美) 本·科恩著= SystemVerilog assertions handbook revised/Ben Cohen/孙健, 魏浩然译.-北京：科学出版社，2026.01 |
| xxvii, 544页：图；26cm |
| |
| |
| ISBN 978-7-03-082134-8：CNY138.00 |
| 本书先通过大量示例展示基础概念, 然后专注于序列和属性的细节, 接着通过更多示例探讨高级主题, 随后讨论了在设计和验证周期的各个阶段 (包括需求、设计和验证阶段) 使用断言的过程, 通过两个完整模型展示了形式化验证的应用, 最后增加了SVA方面的论文, 同时回答了用户在论坛中提出的问题。书中所呈现的编码和使用指南源自作者多年的设计与验证工作经验, 以及对硬件描述语言、断言语言和框架库的使用与教学经验。 |
| ● |
正题名：SystemVerilog断言手册
索取号：TP312.8/548
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1525041
|
215250412
|
十四楼书库/
[索取号:TP312.8/548]
|
在馆
|
架位导航
|
|
2
|
1525042
|
215250421
|
十四楼书库/
[索取号:TP312.8/548]
|
在馆
|
架位导航
|
|
3
|
1525043
|
215250430
|
十四楼书库/
[索取号:TP312.8/548]
|
在馆
|
架位导航
|
