论文部分内容阅读
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题.本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法.最后给出了对SOC验证的一般方法.
SOC的形式化验证方法
【摘 要】
：
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题.本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法.最后给出了对SOC验证
【机 构】
：
西安邮电学院计算机系
【出 处】
：
西安邮电学院学报
【发表日期】
：
2005年3期
其他文献
＂ARK MODELS＂是俄罗斯的模型品牌,在国内被译作方舟模型,以出品前苏联和本国模型题材闻名。这次我受编辑部所托制作的这款编号40002的产品,是前苏联的北极巨兽——＂北极＂号核动力
我一直使用Paasche H型的喷笔和它的颜料杯。但我使用的时候，从来不将颜料直接倒到喷笔颜料杯中喷涂，然后再将剩余的颜料从颜料杯中倒回颜料瓶中，比如像Testor的金属色颜料（Metal
“71、72、73……”2012年5月6日，在北京市海淀区中小学生纸结构模型承重赛的现场，参赛队员和场外观众都为一名维吾尔族小选手捏了一把汗。原来，他制作的纸模型已经擎起了73瓶小
本次制作的是爱德美2008年爱国力作——K1A1主战坦克。K1系列与大名鼎鼎的M1系列，同为美国克莱斯勒公司（后被通用动力公司吞并）于上世纪70年代设计的主战坦克。两个系列采用了大
做好集体林权制度改革工作，对解决“三农”问题、推进新农村建设、构建和谐社会、实现经济社会可持续发展都具有十分重大的意义。集体林权制度改革是稳定和完善农村基本经营制
湿地与森林、海洋并称为全球三大生态系统。是世界上最具活力的生态系统，保护了许多珍稀濒危野生动植物种。湿地是人类最重要的环境资本之一，也是自然界富有生物多样性和较高生
这个作品的故事背景让我自定义在一个被摧毁后的世界,人类被分割成为无数的小型社会,依靠未来科技在废墟世界里继续坚强存活与抗争。而横山宏的故事设定并不是这样的,这里只
在写评测文章之前我并没有看见过Airframe出品的树脂飞机附件。然而我的第一印象是对其产品的肯定,它的样品表面很像现代的英国货。它们来自The Aviation Workshop网站。
最近威龙公司新出品了几件1／72的带兵人的塑胶射出模型套材，分别是251人员输送车、“豹”式和“虎王”重型坦克。看到真实货品以后，我立刻被里面开模精细的兵人给征服了。这几套