SystemVerilog是当前国内外被广泛使用的数字集成电路验证语言，它可以高效地对被测设计进行受约束的随机测试，从而在尽可能短的时间内达到令人满意的代码和功能覆盖率。熟练掌握Systemverilog语言是进一步学习UVM验证方法学的基础。本书讲解了SystemVerilog的基本语法和工作原理，同时结合了UVM验证方法学中的验证技术知识。讲述的内容主要包括：基本数据类型、接口、类、随机化、约
电子书
电子书
本书系统介绍了CMOS电路版图设计和验证的规则、流程和基本方法。
电子书
本书以一个8位RISCCPU的设计为主线，按照集成电路设计流程，对CPU进分解，从简单计数器模块开始，到寄存器，再到存储控制器，以及CPU状态控制器等，将重点讲授组合逻辑与时序逻辑、阻塞赋值与非阻塞赋值、状态机的设计及验证方法。并通过对其进行逻辑综合和版图设计，内容覆盖了数字集成电路设计全流程。
电子书
系统介绍经济合作与发展组织对于危害评估新测试方法的验证和国际认可程序及管理经验。
电子书
贸易成本几乎被传统国际贸易理论忽视，但却广泛存在于实际国际贸易活动中。事实上，贸易成本是国际经济学的重要变量，是解释国际贸易领域众多疑惑的重要因素，一直在国际专业化和贸易模型中担任重要的角色。本书对于贸易成本对贸易发展的影响进行了较为系统和深入的研究，分析了中国对外贸易发展的现状，剖析了贸易成本对贸易发展的影响及其作用机制，提出了有效降低贸易成本，加快推进贸易发展的对策建议。
电子书
元宇宙是平行于现实宇宙的虚拟宇宙，其基于Web3构建，是未来人类文明的重要形态。
