UML中的经典之作， 不是编程语言 工具可以提供 至各种编程语言的代码生成 以及可以从现有 的程序逆向构筑模型 不是用于定理证明的高度正式的语言 实际上有很多正式的语 言 但它们不易理解或不适用于多种用途 是通用性的建模语言 对于特定的领域 如 设计 .! 电路设计或基于规则的人工智能 更特定的语言和工具可能更加合适 是离散的建模语言 它不打算对如工程和物理的连续系统建模 是对诸如软件 硬件或数字逻辑的离散系统建模的通用语言 -UML classic works

数字存储器和混合信号超大规模集成电路 本书系统地介绍了数字、存储器和混合信号VLSI系统的测试和可测试性设计。该书是根据作者多年的科研成果和教学实践，结合国际上关注的最新研究热点并参考大量的文献撰写的。全书共分三个部分。第一部分是测试基础，介绍了测试基本概念、测试设备、测试经济学和故障模型。第二部分是测试方法，详细论述了组合和时序电路的测试生成、存储器测试、基于DSP和基于模块的模拟与混合信号测试、延迟测试和IDDQ测试等。第三部分是可测试性设计，包括扫描设计、BIST、边界扫描测试、模拟测

Proteus是世界上著名的EDA工具(仿真软件)，从原理图布图、代码调试到单片机与外围电路协同仿真，一键切换到PCB设计，真正实现了从概念到产品的完整设计。是目前世界上唯一将电路仿真软件、PCB设计软件和虚拟模型仿真软件三合一的设计平台，其处理器模型支持8051、HC11、PIC10/12/16/18/24/30/DsPIC33、AVR、ARM、8086和MSP430等，2010年又增加了Cortex和DSP系列处理器，并持续增加其他系列处理器模型。在编译方面，它也支持IAR、Keil和MAT