(美)Prakash Rashinkar,(美)Peter Paterson,(美)Leena Singh著;孙海平,丁健译2005 年出版263 页ISBN:7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付,详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
甘培尚,丁健文主编;戴恩来,许筠,马鸿斌副主编;丁健文,马鸿斌,甘培尚等编2014 年出版372 页ISBN:9787509177891
本书从基础要点和临床诊治精要两方面向读者介绍刘宝厚教授治疗肾脏病临证经验。基础要点具体阐述了中医对肾的认识、肾脏病辨证纲要、肾脏病中医诊治原则和方法、糖皮质激素和细胞毒药物在肾脏病中的应用、...