ASDeX公司 swMATH ID: 38044 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 描述： ASDeX：模拟电路的正式规范，可实现全自动设计验证。本文提出了一种基于XML的语言格式来描述模拟IP的规范及其在验证流程中的使用。在XML-Schema-Definition（XSD）的帮助下，引入了一种称为XML模拟规范描述（ASDeX）的规范描述语言。ASDeX文件不仅包含规范参数，还包含测量定义和测试台，以支持基于仿真的规范验证。其目的是生成可执行模块（任务），用于运行模拟并提取和检查模拟电路的实际属性值。任务生成基于通用模板方法，使用元模拟实现独立于供应商的模拟IP表示，包括IP验证。 主页： https://link.springer.com/article/10.1007/s10617-012-9088-8 相关软件： 超小卫星;通过;AMT公司;转向器电源;iscas-Mc公司;PROPhESY公司;狂喜;PRISM-游戏;UPPAAL TIGA公司;SpaceEx公司;日/日;参数;sQueezeBF公司;Uppaal公司;MRMC公司;PHAVer公司;PVS公司;棱镜 引用于： 1文件 1位作者引用 1 罗尔夫·德雷克斯勒 0连载引用 在2个字段中引用 1 总体主题；集合（00-XX） 1 计算机科学（68至XX） 按年份列出的引文