首页> 外文OA文献 >Automatic generation of assertions for formal verification of PowerPC microprocessor arrays using symbolic trajectory evaluation

【2h】

Automatic generation of assertions for formal verification of PowerPC microprocessor arrays using symbolic trajectory evaluation

机译：使用符号轨迹评估自动生成用于形式验证powerpC微处理器阵列的断言

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Li-C. Wang; Magdy S. Abadir; Nari Krishnamurthy;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Solder joint reliability of high I/O ceramic-ball-grid arrays and ceramic quad-flat-packs in computer environments: the PowerPC 603/sup TM/ and PowerPC 604/sup TM/ microprocessors [J] . Gerke R.D., Kromann G.B. IEEE Transactions on Components and Packaging Technologies . 1999,第4期

机译：高I / O陶瓷球栅阵列和陶瓷四方扁平包装在计算机环境中的焊点可靠性：PowerPC 603 / sup TM /和PowerPC 604 / sup TM /微处理器
2. Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation [J] . Salehi Fathabadi Asieh, Dalvandi Mohammadsadegh, Butler Michael, Embedded Systems Letters, IEEE . 2020,第3期

机译：通过正式模型的断言生成验证跨层交互
3. Automatic test generation for verifying microprocessors [J] . Corno F., Sanchez E., Reorda M.S., IEEE potentials . 2005,第1期

机译：自动生成测试以验证微处理器
4. Automatic generation of assertions for formal verification of PowerPC^TMmicroprocessor arrays using symbolic trajectory evaluation [C] . Wang L.-C., Abadir M.S., Krishnamurthy N. Numerical Simulation of Optoelectronic Devices, 2004. NUSOD '04 . 2004

机译：使用符号轨迹评估自动生成断言以进行PowerPC ^{TM 微处理器阵列的形式验证}
5. Automatic generation of invariants in formal verification of microprocessors and memory systems. [D] . Abu-Haimed, Husam Saad. 2004

机译：在微处理器和存储系统的形式验证中自动生成不变量。
6. Trajectories of Symbolic and Nonsymbolic Magnitude Processing in the First Year of Formal Schooling [O] . Anna A. Matejko, Daniel Ansari -1

机译：正式入学第一年的符号和非符号幅度处理轨迹
7. Formal verification of PowerPC arrays using symbolic trajectory evaluation [O] . Manish Pandey, Richard Raimi, Derek L. Beatty, 1997

机译：使用符号轨迹评估对powerpC阵列进行形式验证
8. Verifying Safety Properties of a PowerPC (Trade Mark) Microprocessor Using Symbolic Model Checking without BDDs [R] . Biere, A. , Clarke, E. , Raimi, R. , 1999

机译：使用无BDD的符号模型检查验证powerpC（商标）微处理器的安全属性

Automatic generation of assertions for formal verification of PowerPC microprocessor arrays using symbolic trajectory evaluation

著录项

引文网络

相似文献

相关主题

期刊订阅