-
内容简介:
资深芯片验证专家刘斌（路桑）围绕目前芯片功能验证的主流方法—动态仿真面临的日常问题展开分析和讨论。根据验证工程师在仿真工作中容易遇到的技术疑难点，本书内容在逻辑上分为 SystemVerilog疑难点、UVM 疑难点和 Testbench 疑难点三部分。作者精心收集了上百个问题，给出翔实的参考用例，指导读者解决实际问题。在这本实践性很强的书中，作者期望能够将作者与诸多工程师基于常见问题的交流进行总结，以易读易用的组织结构呈现给读者，目的是帮助芯片验证工程师更有效地处理技术疑难点，加快芯片验证的调试过程。
-
作者简介:
刘斌（路桑），毕业于西安交通大学微电子专业，瑞典皇家理工学院芯片设计专业硕士。拥有超过50,000名验证从业订阅者的路科验证创始人，主持国内前沿的芯片验证架构规划和方法学研究，担任过数款十亿门级通信芯片的验证经理，目前独立从事芯片验证技术咨询。同时在西安电子科技大学长期客座授课，以及开展芯片验证职业在线教育为业界输送大量人才。著有《芯片验证漫游指南》。可通过[email protected]与作者取得联系。
-
目录:
章什么是疑难点？
第2章systemverilog疑难点集合
2.1数据使用
2.1.1组合型数组和非组合型数组怎么区分？
2.1.2组合型数组和非组合型数组如何做赋值？
2.1.3在使用enum变struct时添加typedef与否的差别是什么？
2.1.4什么是静态变量和动态变量？
2.1.5struct和struet packed区别在哪里？
2.1.6关联数组的散列存储表示什么？
2.1.7如何将队列插入到另外一个队列中？
2.1.8队列在赋值时使用揉作符{}，那么它属于组合型吗？
2.1.9数纽的选取可以用两个变量作为索引边界吗？
2.1.10parameter、localparam和const有什么联系和差别？
2.1.11多锥数组的声明和使用，哪种方式更合适呢？
2.2作符使用
2.2.1{}作符的使用场景有哪些？
……
评论0