本书的写作方式可以使工程师快速掌握System Verilog断言。第0、1和2章，可以使您充分了解基础语法和一些通用的模拟技巧。阅读完这三章，读者应该能在他们的设计/验证环境中写断言。 第3、4、5和6章是不同类型的设计的“烹饪书”。读者如果在他们自己的环境里遇到类似的设计可以参考这些章节，以这些章节作为起点开始写断言。这些章节也可以作为指导。 随书附一张光盘。本书中所有例子都可以用VCS 2005.06发行版运行，也包括运行这些例子的脚本范例。VCS是Synopsys公司的注册商标。
《大型赛事媒体运行研究》全面介绍了以奥运会为代表的大型赛事媒体运行与新闻服务的发展历程、组织架构和工作机制，系统分析了我国大型赛事媒体运行与新闻服务的基本现状、突出问题和创新策略，能为今后科学高效地开展媒体运行服务提供理论支撑，有助于促进学界与业界的深度融合，是体育新闻工作者、体育赛事志愿者和体育新闻爱好者的专业读本。
本书集飞机手册、航空历史和航空科普知识为一体，是一部高度浓缩的严谨作品。 本书对中国使用过的10类机种88个机型逐一作了全面的历史和介绍；对属于国家重要文物的飞机珍品则给予了具体评价；对各型习机易使人感到困惑的技术细节，作了专业性的剖析；更为难得是；对每型飞机都配有首次依据展出实物绘制的飞机三面图。 作为背景资料，本书对几千年来人类的航空追求和当代的航空科技成就作了学术性的探讨；文中涉猎世界上古典和现代名机达300余种，中外对照，融汇贯通；发生不同机型上的真实飞行故事，惊心动魄，由有飞机经验的作者娓娓道来，使人如临其境。 全书收录精美照片400余张，其中很多珍贵历史照片是由航空前辈们珍藏且从未发表过的；而精美、新奇的现代飞机彩照和飞机三面图、结构图更使人爱不释手。 本书对于一切从事航
《Arduino开发实战指南(STM32篇)》中有大量代码和硬件电路实例，使非专业的读者更易上手。Maple控制器编程简单，功能强大，采用了基于ARM Cortex-M3内核的STM32处理器，性能比AVR单片机更高。Maple控制器开发上与广泛使用的Arduino相兼容，可用于电子产品创意设计、互动媒体等交互应用。本书由姚汉编著。
