个人简介
Daniel D. Gajski教授于宾夕法尼亚大学费城分校获得博士学位。他有十几年的从事数字电路、交换系统、巨型计算机设计以及在VLSI结构领域的从业经历。此后又在伊利诺伊大学厄巴纳-尚佩恩分校计算机科学系从事了10年的学术研究。目前他是加州大学艾尔温分校信息与计算机科学系、电子与计算机工程系的教授。他出版过多部专著。他的研究方向为嵌入式系统与信息技术、设计方法学与e设计环境、系统描述语言及CAD软件、设计科学。
译者简介
边计年 清华大学计算机系教授，博士生导师。1970年毕业于清华大学自动控制系，毕业后在清华大学任教至今。他出版过多部专著和译著。研究方向为片上系统 (SOC) 的系统设计方法，包括系统描述、软硬件划分与通信综合、与布图结合的高层次综合、系统协同设计与验证等。
内容简介
本书介绍嵌入式系统领域的基本概念以及实际的描述和设计方法，包括嵌入式系统设计的模型和体系结构、描述语言、系统划分、设计质量评估、描述细化以及系统级方法学等方面。讲解详细，实例丰富，有针对性地介绍了若干著名算法或解法，并解释每种方法的优缺点，还包括对该领域其他工作的综述，并提出尚未解决的一些问题。本书适合从事嵌入式系统设计和研究的工程技术人员、科研人员、高等院校计算机和电子信息工程专业的本科生和研究生。