中国考古集成 华北卷 北京市、天津市、河北省、山西省 综述 1
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版776 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 金元 2
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版1248 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 宋辽 1
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版646 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 明清 2
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版1538 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 商周 1
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版824 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 商周 2
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版1660 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 商周 3
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版2287 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 宋辽 2
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版1298 页ISBN：7805578389
中国考古集成 华北卷 北京市、天津市、河北省、山西省 综述 2
孙进已，苏天钧，孙海主编；蔺新建，孙泓常务副主编；王绵厚，冯永谦，齐心等副主编1994 年出版1533 页ISBN：7805578389
（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
