个人简介
刘明业 男，汉族，教授，1934年6月出生，辽宁营口人。1959年毕业于哈尔滨工业大学电子计算机专业，1985年于北京工业学院（现北京理工大学）晋升教授，1990年经国务院学位委员会评定为计算机应用学科博士生导师。北京理工大学ASIC研究所所长，校外兼任《计算机辅助设计与图形学学报》副主编，计算机学会计算机辅助设计与图形学专业委员会副主任，中国科技大学研究生院兼职教授。
长期从事计算机和ASIC设计自动化的研究与教学工作。专长为硬件描述语言、高级综合与模拟技术，代表性论著有《专用集成电路高级综合理论》（北京理工大学出版社，1998年）、《计算机辅助逻辑设计理论》（科学出版社，1985年）、《数字系统自动设计》（高等教育出版社，1995年）、“求介多输出函数覆盖问题的覆盖矩阵取补法”（ 《计算机学报》，1983年第三期）、“VHDL高级综合中某些关键问题的技术决策”（ 《计算机学报》，1997年第六期）等。有“专用集成电路VHDL高级综合与混合的模拟系统”等六项成果获部级奖励。
内容简介
本书详述计算机及ASIC高级综合与混合级模拟的基本理论与关键技术。全书共分八章。前三章讨论高级综合的涵义，VHDL编译及其可综合子集的实现方法。第四章给出HLS/BIT系统多目标化模型、高度和分配算法及优化策略。最后给出许多综合与验证的实验。第五章详述与底层工艺设计衔接问题。提出RTL工艺无关和工艺相关两级映射策略及知识制导的RTL工艺映射方法。最后给出面向FPGA目标的映射结果。第六章讨论逻辑图生成的实用技术。第七章讨论HLS/BIT模拟模型的建立及数据结构，给出各种模拟算法。第八章列举VDHL某些典型应用示例。
本书适用于从事计算机及ASIC设计自动化的研究人员参考，也可作为高等学校计算机、自动控制、电子工程专业研究生及高年级学生的教学参考书。