深圳市相马计算机有限公司开发制作2002 年出版276 页ISBN：7900344209
本书包括：“主要配件”、“多媒体设备”、“外围设备”、“数码产品”、“电脑选购和安装”、“专题问答”六章内容。
陈玉，王宗和，张旭东等编译2008 年出版227 页ISBN：7302162506
本书介绍TMS 320系列DSP硬件开发系统的知识和应用。
韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
