首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  完全免费   2篇
  自动化技术   2篇
  1996年   2篇
排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
用XYZ/E语言描述和验证硬件的行为   总被引:5,自引:1,他引:4       下载免费PDF全文
本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系统对所期望的性质进行了形式化证明.本文还将XYZ/E描述与相应的VHDL(VHSIChardwaredescriptionlanguage)描述进行了比较.从中可以看出时态逻辑语言的描述具有其独特的优点.  相似文献
2.
XYZ系统在电信领域中的应用   总被引:2,自引:1,他引:1       下载免费PDF全文
沈武威  唐稚松 《软件学报》1996,7(6):321-330
最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationanddescriptionlanguage)是电信领域中的一个国际标准语言,而且有关基于该语言的环境已在开发,但是有关该语言的验证工作,特别是利用有关时序逻辑语言进行验证的工作还不多.作为一种尝试,本文将利用XYZ系统中的一个子系统XYZ/VERI,对SDL所描述的有关电信领域中的例子进行验证.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号