硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

遥感数据智能处理方法与程序设计

本书是作者经过十余年在人工智能理论与遥感信息理论学科交叉领域的实践，不断探索所取得的成果总结。主要内容包括空间变换与分割、贝叶斯网络、伪二维隐马尔可夫、神经网络、遗传算法、模糊算法、粗糙集、支...

场效应晶体管电路设计

印制电路板设计软件TANGO

微电子电路设计原理及应用

电路工程设计 Protel 99实例演练

微波电路的计算机辅助设计

微波电路计算机辅助设计 上

模拟集成电路设计精粹

本书介绍模拟集成电路分析和设计的新观点，基本单元电路，最新研究方向和热点精萃等内容。

数字逻辑电路设计

本书介绍了数字逻辑的基本概念和基本知识，并介绍了一些流行的可编程器件，以及编程技术。本书以VHDL硬件描述语言描述电路的设计。