系统C swMATH ID: 7807 软件作者： 大卫·C·布莱克。；多诺万，杰克。 说明： 系统C：从头开始。SystemC为C++提供了一组健壮的扩展，可以快速开发复杂的硬件/软件系统。本书重点介绍了该语言在实际系统建模中的实际应用。丰富的示例和可下载代码系统地引导读者了解SystemC语言的细节。这项工作提供了：语法的逐步构建；SystemC 2.1的新功能；每个概念的代码示例；许多资源参考；编码风格和准则；超过52个可下载的代码示例（超过8000行）；贯穿全书的练习；SystemC如何适应系统设计方法；为什么功能会是现在的样子？大卫·布莱克（David Black）和杰克·多诺万（Jack Donovan）都是EDA行业的知名顾问，参与新技术和方法的采用和教学总共有42年以上。最近，他们联合成立了一家咨询公司Eklectic Ally，专注于帮助公司采用SystemC方法。 主页： http://rd.springer.com/book/10.1007%2F0-387-30864-4 相关软件： 皮纳帕;LusSy公司;酯类;veriSoft软件;克拉托斯;CBMC公司;无级变速器;NuSMV公司;自旋蛋白;SATIRE（饱和）;科梅塔;托勒密;法尔科;核心ASM;阿斯毫升;卢斯特;普罗米修斯;编程辅助工具;HOL公司;FRIDGE公司 引用于： 29文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 系统C：从头开始。第一次平装印刷。 Zbl 1134.68016号大卫·C·布莱克。;杰克·多诺万。 2006 全部的 前5名72位作者引用 三 朱慧彪 2 安妮·伊丽莎白·哈克斯豪森 2 何继峰 2 简·佩莱斯卡 2 索菲涅·塔哈尔 1 贝扎德·阿克巴普尔 1 Syed Mahfuzul阿齐兹 1 汤姆·比恩米勒 1 大卫·C·布莱克。 1 Frank Blendinger先生 1 乔纳森·鲍文（Jonathan P.Bowen）。 1 布莱恩，马丁 1 菲利普·布鲁克。 1 陈慧煌 1 亚历山德罗·西马蒂 1 阿卜杜卡德·德克杜克 1 杰克·多诺万。 1 弗雷德里克·杜塞特 1 罗尔夫·德雷克斯勒 1 阿里·埃布纳西尔 1 鲁兹贝·法拉赫博德 1 格什温·菲 1 文森佐·格瓦西 1 Dan R.吉卡。 1 延斯·格拉迪古 1 格莱瑟，乌韦 1 克里斯托夫·格林姆 1 金·格里特纳 1 拉杰什·库马尔·古普塔 1 阿里·哈比比 1 哈吉谢基，礼萨 1 菲利普·哈特曼（Philipp A.Hartmann）。 1 克里斯蒂安·哈贝特 1 C.E.赫尔姆斯特特。 1 C.A.R.Tony Hoare 1 塞巴斯蒂安·金德 1 丹尼尔·科宁 1 Krüger，Ingolf H。 1 Sandeep S.Kulkarni。 1 Marta Z.Kwiatkowska。 1 李爱德华·阿什福德 1 李世勤 1 梅勒特·康托兹。 1 佛罗伦萨马拉宁奇 1 鲁本·马丁斯 1 Eleftherios的Matsikoudis 1 敏、杰 1 伯恩哈德·莫勒 1 伊曼·纳拉萨姆迪亚 1 格钦·诺曼 1 希伦·帕特尔（Hiren D.Patel）。 1 爱纳州波多尔斯基 1 秦胜超 1 拉玛斯瓦米 1 尼罗法尔·拉扎维 1 阿希姆·雷特伯格 1 沃尔夫冈·罗森斯蒂尔 1 马可·罗维里 1 尤尔根·鲁夫 1 彼得·施拉梅尔 1 彼得·施瓦兹 1 桑迪普·库马尔·舒克拉 1 Rudrapatna Kallikote Shyamasundar 1 马尔詹·西尔贾尼 1 乔治·斯特鲁斯 1 尤尔根·蒂奇 1 蒂诺·特伊格 1 拉塞尔·特西尔 1 范·斯塔登（Stephan van Staden） 1 潘聪荣 1 杨，范 1 周建阳 全部的 前5名8篇连载文章中引用 三 计算的形式方面 2 理论计算机科学 2 系统设计中的形式化方法 1 计算机与电气工程 1 模拟中的数学和计算机 1 厦门大学学报。自然科学 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 28 计算机科学（68至XX） 三 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 1 有序，格，有序代数结构（06-XX） 1 代数几何（14-XX） 1 一般拓扑结构（54至XX） 1 光学、电磁理论（78-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文