断言相关论文
集成电路设计是既复杂又极怕出错的一项工作,随着集成规模的不断增加以及工艺制程节点的不断演进,任何一点错误都可能造成极大的损......
随着近两年欧美国家对集成电路行业控制的进一步收紧,芯片成为了“卡脖子”的问题,中国高铁作为自主创新的领跑者,早已开始了基于......
从意义上说,"不用说"是说话人基于背景事件和断言之间显而易见的关系作出肯定;从功能上说,"不用说"用来"断言化",使后面的小句成为......
摘 要 班级是个相对较大群体，其中还有小群体，他们有共同的群体意识，也是应该加以引导的。采用断言、重复、感染，促进大群体，采用积极举......
2010年1月,欧洲药品管理局(EMA)在其网站发布信息称,减肥药西布曲明风险大于效益,建议在欧盟范围内暂停上市许可。为使广大医务人......
【摘要】“三维六式”是重庆七中唐小洁老师总结出的一种读写结合模式。其中，三维，是指仿写、改写、创意写作的三维视角；六式，是指语句......
科学不热墨学热，是墨家的幸，还是不幸呢?这是无法断言的；所敢于断言者，是抛弃者若装得像没事人一样，当属脸皮太厚。当此之时，不读《墨子......
XML是一种用于表示复杂结构数据的方法，主要关注数据的内容和结构，可以使数据的内容和显示分离，XML被广泛的应用于各种应用领域，为了应......
闪存(Flash),一种非易失性(即使断电情况下依然对其内部原有数据长时间的保存)的长寿命存储器,以其容量大,体积小,功耗低,易于擦写......
提出了一个面向网络并行环境的需求规约语言OORSL.OORSL支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达......
说来你也许不信,有一个人刚出生时,只有一只可口可乐罐那么大,双腿畸形,没有肛门,躺在观察室里奄奄一息。有医生当时就断言他不可......
元数据信息是理解基本对象模型(Basic Object Models)重用能力的关键,也是BOM检索、选取和应用过程的前提和保证。BOM的正确使用以......
文章分析了电子政务应用系统的特点,介绍了两种常见的单点登录技术,重点介绍了SAML技术及其实现单点登录的两种方式。基于SAML技术......
近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速......
期刊
要控制通胀,仅仅压缩货币供应量是不够的,必须同时鼓励生产。如果消费品生产因货币政策遭遇重创,未来的CPI走势可能变得非常可怕。......
基于断言的验证(Assertion Based Verification,ABV),是一种有价值的主流验证技术。断言特别适合于描述时序特性和因果特性。作为S......
软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和......
摘 要：饼干条件句是一种非经典条件句，其核心特点是后件的真值不依赖于前件。国外学者提出了四种分析方案，但是目前文献中甚少涉及汉......
随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化......
介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境，加入断言技术，并应用于实际项目。实验结果表明，该验证平台具有较高的自......
SystemVerilog是下一代芯片设计和验证语言，于2005年12月被标准化为IEEE P1800—2005。本文介绍SystemVerilog发展的过程及其对验证......
程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。......
在目前功能性睦证技术中通常使用的是基于约束的随机测试。这只是解决了验证测试平台中的输入激励问题，但存在难以定位错误的缺点，在......
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。......
随着IP核设计的复杂程度不断提高，功能验证越来越受到重视。高效的断言验证技术被广泛应用到IP核验证上来。用Verilog HDL语言实现......
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算......
第一位探讨预设问题的是德国哲学家和数学家弗雷格,此后,预设一直是语用学领域中比较热门的话题.要深入了解预设,有必要从哲学、逻......
在研究GTRBAC和CT—RBAC模型的基础上，提出了一种支持可变上下文参数的多维RBAC（MDRBAC）模型．该模型通过将反映不同安全因子的约束组织......
为了使断言与非断言的区分一目了然,吉奇引入弗雷格逻辑系统中的判断杠这一符号,将它添加在被断言的语句之前。但实际上,吉奇的这......
近一段时间,各方研究者和研究机构对于经济新周期的讨论非常热烈,这与去年以来大宗商品价格大幅上涨、工业企业利润大幅回升和GDP......
沃特金斯在其名著《西方政治传统》一书断言，“就对于法律之下的自由这一概念的强调而言，现代世界直接继承自古代的希腊和罗马”。这......
分支指令与分支预测失败限制了处理器发掘指令级并行（ILP）的潜力．通过If—conversion或Predicated执行将程序中的控制相关转化为数据......
为了有效地监测程序的运行状态(如变量值、方法调用、程序控制流等),提出了一个通用的程序状态监测系统(PSMS).PSMS可以指定收集何......
提出了一种利用断言产生测试用例的白箱测试方法．该方法首先选定程序中某条语句作为目标节点，通过在目标节点的临界分支和必要分支上......
古代哲学家、数学家普洛克拉斯断言：“哪里有数，哪里就有美。”数学中含有美的要素，数学发展受美育思想的影响。数学理论本身的奇特、......
文中介绍了两种常见的单点登录技术，重点介绍了SAML技术及其实现单点登录的两种方式。基于SAML技术设计了一套单点登录系统，分别在Ja......
文章针对DVB-S网络卫星数据接收芯片IPOD的设计。详细描述了IPOD（IP Over DVB）片的验证平台的建立和验证策略的实现。通过C仿真模型......
随着SoC规模的日益扩大，功能验证也日趋复杂，在模块级验证中尽早地找出设计中的逻辑错误，能大大节省时间和人力的开销。针对EraSoC芯......
本文比较了AMBA的AHB协议和Wishbone协议,提出使用SystemVerilog语言实现AHB-Wishbone总线桥的方法。文中阐述了如何将SystemVeril......
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法，从而确保在构造期间产......
设计一种确保AFDX交换机数据帧发送和接收顺序保持一致的虚拟链路调度模块,实现对各端口虚拟链路校验请求的有序处理.通过HDL描述,......
立法语言就其实施的言语行为来看有两种：断言与指令。非情态句用来表达现实确定性程度最高的断言，情态句用来传递具有不同级别语力的......
