沙漠FD swMATH ID: 6586 软件作者： Eames，Brandon K。；妮玛（Neema）、桑迪普·K·。；罗希特·萨拉斯瓦特 描述： DesertFD：基于有限域约束的设计空间探索工具随着基于计算机的系统复杂性的增加，设计者面临着平衡各种设计选择和参数与冲突优化标准的任务。设计空间探索寻求在设计时自动或部分自动评估权衡决策的过程。DesertFD是一个与域相关的设计空间探索工具，它使用约束满足来促进设计空间的表示和修剪。DesertFD提供了一个通过公共结构关联的一系列系统的基于树的正式视图，以及一种灵活的脚本语言，用于建模控制属性组合的数学表达式。应用于设计空间表达的用户特定约束会导致空间修剪。我们讨论了使用有限域约束将设计空间、属性组合公式和约束简化为约束满足问题。我们研究了两个示例设计空间探索问题来评估DesertFD：生成支持基于H.264的运动估计的高级定制计算机体系结构，以及在线控汽车应用中将任务映射到分布式嵌入式控制单元的可靠性驱动。 主页： http://rd.springer.com/article/10.1007%2Fs10617-009-9049-z？LI=真 关键词： 设计空间探索；有限域约束；嵌入式系统 相关软件： 禁忌搜索；SICStus公司；FaMa公司；大都市；日本石油公司；莫扎特；国际学生成绩评估 引用于： 0个文档 标准条款 1出版物描述软件 年份 DesertFD：基于有限域约束的设计空间探索工具Eames，Brandon K。；妮玛（Neema）、桑迪普·K·。；罗希特·萨拉斯瓦特 2010