[导读]IEEE组织最近批准了用于复杂软件验证的特色规格语言(Property Specification Language,PSL)标准,其速度之快,可能是IEEE历来标准化流程时间方面的最新纪录。
该标准被称为IEEE 1850,仅在一年之前才踏入IEEE
IEEE组织最近批准了用于复杂软件验证的特色规格语言(Property Specification Language,PSL)标准,其速度之快,可能是IEEE历来标准化流程时间方面的最新纪录。
该标准被称为IEEE 1850,仅在一年之前才踏入IEEE标准化之路。
1850工作小组主席Harry Foster表示:“这个流程快得不可思议。这可能是IEEE批准最快的一个标准。”IEEE将PSL宣称为帮助软件开发商节省验证时间、成效和成本同时改进品质的一种语言。
它采用特色、声明和其它方法,指定了电子系统的设计行为。
IEEE 1850定义了用于特色基验证的Accellera PSL 1.1规格。新标准解决了几大技术问题,增添了与混合语言设计诸如VHDL、Verilog、SystemVerilog、OSCI SystemC和其它系统设计语言相容的介面。Foster指出,Accellera PSL 1.1与IEEE 1850之间的变化大多数都很小,最重要的变化是增加了支援SystemC的扩充。
其它增强内容包括增加了一种特色和子特色的复制方法,以及修订了一些参考手册说明的文字。
本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
广州2024年4月17日 /美通社/ -- 已火爆拉开帷幕的第135届广交会一期线下展中,新质生产力成为核心亮点。超3100名以先进生产力和优质为关键词的创新企业集结现场,向世界释放新质生产力赋能下的行业新"磁...
关键字:
电子
PS
GO
科沃斯
上海2023年9月21日 /美通社/ --由工业和信息化部、发展改革委、科技部、商务部、中国科学院、工程院、中国贸促会、上海市人民政府共同举办并以"碳循新工业 数聚新经济"为主题的第二十三届工博会,9...
关键字:
激光切割
SCARA
OS
STORE
(全球TMT2023年9月15日讯)企业移动性管理领域企业42Gears宣布推出AstroStatus,这是一种直观的事件沟通解决方案,旨在增强企业能力,让企业在云托管解决方案出现服务中断和意外故障时能随时向客户通报情...
关键字:
STATUS
RS
OS
GE
拉斯维加斯2023年9月15日 /美通社/ -- 美国当地时间9月12日,万众瞩目的美国国际太阳能展RE+ 2023在拉斯维加斯The Venetian Convention and Expo Center会展中心隆重召...
关键字:
新能源
OS
SOLAR
OCEAN
厦门2023年9月15日 /美通社/ -- Greenpath是美国一家提供全方位综合服务的回收商、加工商和制造商,已有25年的历史,在加利福尼亚州、内华达州和德克萨斯州均设有分公司。Greenpath拥有处理各种物料的...
关键字:
GREEN
ST
金属
OS
印度班加罗尔2023 9月15日 /美通社/ -- 企业移动性管理领域的领先企业 42Gears 十分高兴地宣布推出AstroStatus,这是一种直观的事件沟通解...
关键字:
STATUS
RS
OS
GE
香港2023年9月12日 /美通社/ -- 优克联集团("优克联"或"该公司",纳斯达克股票代码:UCL)创建了全球领先的移动数据流量共享市场。该公司今日宣布旗下子公司深圳市优克联...
关键字:
移动数据
数据流
OS
智能硬件
2023年中国市场薪资增长率(不包含冻薪)为4.9%,预计2024年薪资增长率(不包含冻薪)为5.0%,在亚太地区处于中位水平。 2023年薪资增长水平最高的行业是高科技行业,为5.6%。生命科学行业2024年...
关键字:
BSP
CONTENT
PS
OV
印度班加罗尔2023年9月8日 /美通社/ -- 下一代数字化和咨询服务的全球领军者Infosys (NSE, BSE, NYSE: INFY) ,近日宣布在《IDC MarketScape:2023年全球人工智能服务供...
关键字:
IDC
MARKET
人工智能
OS
深圳2023年9月8日 /美通社/ -- 近日,超算领域国际顶级会刊SC23公布了论文入选名单,由微众银行区块链团队发表的论文——《FISCO-BCOS:An Enterprise-grade Permissioned...
关键字:
区块链
OS
开源
联盟链
进入神经发育和神经退行性研究领域 德国海德堡2023年9月6日 /美通社/ -- 欧健生物医疗集团(European Wellness Biomedical Group,以...
关键字:
新唐
AN
AD
OS
北京2023年9月6日 /美通社/ -- 近日,北京永亚普信科技有限责任公司(简称永亚普信)与浪潮电子信息产业股份有限公司(简称浪潮信息)在产品兼容适配领域获得重要突破,北京永亚普信安全隔离交换一体机系统 V3.0与浪潮...
关键字:
RC
OS
BSP
测试
(全球TMT2023年9月1日新年)由台达赞助并深度参与的IEEE PELS全球青年学者与学生论坛(SYPS),8月27日至29日于上海举行。本届论坛以“打造全球青年学者与学生交流平台,与行业领袖交流、享受乐趣”为主题...
关键字:
工程师
IEEE
LLC
串联谐振
上海2023年9月4日 /美通社/ -- 2023年8月8日,成都大运会正式落幕。来自113个国家和地区的6500名大学生运动员,在12个比赛日里同台竞技,展现青春与体育的力量。与此同时,在大运会的各个赛场、运动员村以及...
关键字:
信号
TV
PS
CE
- NIPPON EXPRESS全新品牌宣传片带您走进全球物流的幕后 东京2023年9月4日 /美通社/ -- NIPPON EXPRESS HOLDINGS株式会社于9月1日发布了全新品牌宣传片《Finding th...
关键字:
EXPRESS
NI
IP
PS
北京2023年9月4日 /美通社/ -- 日前,Gitee DevOps研发一体化管理系统与云峦服务器操作系统KeyarchOS完成浪潮信息澎湃技术认证,测试结果表明,Gitee DevOps能够很好地兼容并支持X86版...
关键字:
GIT
TE
RC
PS
上海2023年9月4日 /美通社/ -- Bossard柏中在上海总部设立智能装配工作站, 提供现场沉浸式体验"智能工厂装配"如何提升工厂装配效率。 该模拟装配工作站由ELAM平...
关键字:
SAR
数字化
沉浸式体验
OS
(全球TMT2023年8月31日讯)VMware和IBM基于双方20多年的合作伙伴关系开拓创新,提供全新扩展的解决方案,为双方客户在部署和管理VMware工作负载方面的需求和目标提供支持。通过双方在市场进入、销售和支持...
关键字:
IBM
VMWARE
OS
DIRECTOR
上海2023年9月1日 /美通社/ -- 株式会社万代南梦宫游艺(总部:东京港区/社长:川﨑 寛)和万代南梦宫(上海)游乐有限公司(总部:中国上海/董事长:池田 宏)(以下简称:万代南梦宫上海游乐)与广州华立科技股份有限...
关键字:
AI
NDA
PS
COM
促进学术交流 招募全球英才 上海2023年8月31日 /美通社/ -- 由台达赞助并深度参与的IEEE PELS全球青年学者与学生论坛(SYPS),8月27日至29日于上海举行。今年是IEEE SYPS第二届论坛,也是...
关键字:
IEEE
电力电子学
PS
开关式