断言相关论文
多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种方法;在设计和验证中,多周期路径约束错误会......
集成电路设计是既复杂又极怕出错的一项工作,随着集成规模的不断增加以及工艺制程节点的不断演进,任何一点错误都可能造成极大的损......
随着近两年欧美国家对集成电路行业控制的进一步收紧,芯片成为了“卡脖子”的问题,中国高铁作为自主创新的领跑者,早已开始了基于......
从意义上说,"不用说"是说话人基于背景事件和断言之间显而易见的关系作出肯定;从功能上说,"不用说"用来"断言化",使后面的小句成为......
再大的人物,再大的脚,也不能为错误的预言踩住“刹车”。 下面的这十句话,你认为有几句是正确的? 1.地球是宇宙的中心(第二世纪......
2010年1月,欧洲药品管理局(EMA)在其网站发布信息称,减肥药西布曲明风险大于效益,建议在欧盟范围内暂停上市许可。为使广大医务人......
【摘要】“三维六式”是重庆七中唐小洁老师总结出的一种读写结合模式。其中,三维,是指仿写、改写、创意写作的三维视角;六式,是指语句......
科学不热墨学热,是墨家的幸,还是不幸呢?这是无法断言的;所敢于断言者,是抛弃者若装得像没事人一样,当属脸皮太厚。当此之时,不读《墨子......
XML是一种用于表示复杂结构数据的方法,主要关注数据的内容和结构,可以使数据的内容和显示分离,XML被广泛的应用于各种应用领域,为了应......
随着半导体工艺突飞猛进的发展,芯片设计的规模不断增长,设计的复杂度不断提高,芯片功能日趋强大,系统级芯片SoC(System-on-a-chip......
文章对“起码”表“最低限度”这一意义进行了具体分析,认为“最低限度”是特定量级上实现的把握性最大的一种情况。“起码”在交......
真理自古以来就是人类探讨的主题。西方的哲学家们从不同视角对真理进行了探究。在现代大多数关于真理问题的讨论中,塔尔斯基的真......
闪存(Flash),一种非易失性(即使断电情况下依然对其内部原有数据长时间的保存)的长寿命存储器,以其容量大,体积小,功耗低,易于擦写......
阐述为了使开发出来的程序具有更高的可读性、可维护性和强壮性,需要约束程序的编写;指出某些不良方法存在的弊病;提出一种比较规......
期刊
提出了一个面向网络并行环境的需求规约语言OORSL.OORSL支持面向对象的分析方法,可以定义并行成分一进程,可以使用前后断言来表达......
说来你也许不信,有一个人刚出生时,只有一只可口可乐罐那么大,双腿畸形,没有肛门,躺在观察室里奄奄一息。有医生当时就断言他不可......
元数据信息是理解基本对象模型(Basic Object Models)重用能力的关键,也是BOM检索、选取和应用过程的前提和保证。BOM的正确使用以......
文章分析了电子政务应用系统的特点,介绍了两种常见的单点登录技术,重点介绍了SAML技术及其实现单点登录的两种方式。基于SAML技术......
近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速......
期刊
要控制通胀,仅仅压缩货币供应量是不够的,必须同时鼓励生产。如果消费品生产因货币政策遭遇重创,未来的CPI走势可能变得非常可怕。......
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用......
软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和......
摘 要:饼干条件句是一种非经典条件句,其核心特点是后件的真值不依赖于前件。国外学者提出了四种分析方案,但是目前文献中甚少涉及汉......
随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化......
介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境,加入断言技术,并应用于实际项目。实验结果表明,该验证平台具有较高的自......
SystemVerilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800—2005。本文介绍SystemVerilog发展的过程及其对验证......
数据的完整性是指数据库中数据的正确性、有效性和一致性。完整性约束条件是完整性控制机制的核心。在SQL Server数据库应用系统中......
20多年前.美国现代旅行家保罗泰鲁在《游历中国》一书中曾断言:“有昆仑山脉在,铁路就永远到不了拉萨。”国外一些权威专家也曾断言:按......
程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。......
在近日举办的建信/观察家宏观经济高峰论坛上.全国人大财经委员会调研室主任朱明春认为,经济虽有回暖迹象,但在国内产能过剩和外部环境......
在目前功能性睦证技术中通常使用的是基于约束的随机测试。这只是解决了验证测试平台中的输入激励问题,但存在难以定位错误的缺点,在......
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。......
随着IP核设计的复杂程度不断提高,功能验证越来越受到重视。高效的断言验证技术被广泛应用到IP核验证上来。用Verilog HDL语言实现......
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算......
第一位探讨预设问题的是德国哲学家和数学家弗雷格,此后,预设一直是语用学领域中比较热门的话题.要深入了解预设,有必要从哲学、逻......
结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验......
在研究GTRBAC和CT—RBAC模型的基础上,提出了一种支持可变上下文参数的多维RBAC(MDRBAC)模型.该模型通过将反映不同安全因子的约束组织......
探索用基于公理理义的前后断言方法来刻划多线程程序的功能,设计了一个功能规格说明语言JAVAPEC,用来形式地表达程序的功能规格说明,为支持多......
最近总在想找个什么理由换掉自己使用多年的iPAQ,毕竟PPC和手机相结合才是目前最强大的方案,从通信、连接、多媒体娱乐方面来说都是......
为了使断言与非断言的区分一目了然,吉奇引入弗雷格逻辑系统中的判断杠这一符号,将它添加在被断言的语句之前。但实际上,吉奇的这......
根据目前的研究可以断言,在普通心理学中的个性概念——具有整合作用的因素的某种核心,这种核心跟个人不同的心理过程联系在一起,并使......
尽管此前有预期3月份进出口下降幅度可能放缓,但商务部新闻发言人姚坚3月17日表示,金融危机影响正在加深,现在断言出口已经回暧可能还......