ANDREAS GERSTLAUER RAINER DOMER JUNYU PENG DANIEL D.GAJSKI著；边计年 薛宏熙等译（边计年|清华大学）2008 年出版260 页ISBN：9787302132899
本书介绍用Speec C作系统设计。
（美）佩勒（Pellerin，D.），（美）蒂博（Thibault，S.）著；边计年等译2007 年出版269 页ISBN：7111211596
本书介绍了一个由C语言扩充的Impulse C语言，用来设计FPGA上的硬件系统，包括实现一个处理器。
（美）Daniel D.Gajski等著；边计年，吴为民等译2005 年出版253 页ISBN：7111164229
本书介绍了嵌入式系统领域的基本概念以及实际的描述和设计方法。论述了嵌入式系统设计的模型和体系结构、描述语言、系统划分、设计质量评估、描述细化以及系统级方法学等方面。...
STEPHEN BROWN ZVONKO VRANESIC著；边计年 薛宏熙 吴强译2005 年出版622 页ISBN：7302079383
边计年等编著（清华大学）2005 年出版563 页ISBN：7302107599
本书共9章，第1章介绍电子设计自动化的各个领域；第2章介绍硬件描述语言；第3章介绍逻辑模拟和VHDL模拟技术；第4章介绍组合电路和时序电路的逻辑综合技术；第5章介绍高层次综合技术；第6章介绍等价性验证和模型检验的...
