首页> 外文OA文献 >14.5 A General Decomposition Strategy for Verifying Register Renaming ∗

【2h】

14.5 A General Decomposition Strategy for Verifying Register Renaming ∗

机译：14.5验证注册重命名的一般分解策略*

页面导航

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

著录项

作者
Hazem I. Shehata; Mark D. Aagaard;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Dynamic Register Renaming Through Virtual-Physical Registers [J] . Teresa Monreal, Antonio González, Matyeo Valero, Journal of instruction-level parallelism . 2000,第1期

机译：通过虚拟物理寄存器重命名动态寄存器
2. Hikal:Q2 registers record high net sales of Rs.78.1crore and PAT increases to Rs.14.5crore [J] . Chemical News Group Chemical News: Official Journal of the Indian Chemical Manufacturers Association . 2008,第7期

机译：Hikal：第二季度的净销售额创历史新高，达到7,810千万卢比，PAT增长至1,450千万卢比
3. Efficient Register Renaming Architectures for 8-bit AES Datapath at 0.55 pJ/bit in 16-nm FinFET [J] . Dhanuskodi Siva Nishok, Allen Samuel, Holcomb Daniel E. IEEE transactions on very large scale integration (VLSI) systems . 2020,第8期

机译：高效寄存器重命名架构，用于8位AES DataPath，在16-NM FinFET中为0.55 PJ /位
4. A general decomposition strategy for verifying register renaming [C] . Hazem I. Shehata, Mark D. Aagaard, PMark D. Aagaard Annual conference on Design automation;Conference on Design automation . 2004

机译：验证寄存器重命名的通用分解策略
5. Integer Register Renaming with Suspension Technique for SMT [D] . Zhang, Zhexin. 2017

机译：整数寄存器以悬架技术重命名为SMT
6. Verification of Guiding Needle Placement by Registered Ultrasound Image During Combined Intracavitary/Interstitial Gynecologic Brachytherapy [O] . Jing Zeng, Ziqi Liu, Shan Jiang, 2021

机译：验证在组合的内部图像中注册的超声图像引导针头放置/间质妇科近距离放射治疗
7. TOWARDS A VIABLE OUT-OF-ORDER SOFT CORE: COPY-FREE, CHECKPOINTED REGISTER RENAMING [O] . Kaveh Aasaraai, Andreas Moshovos 2010

机译：迈向可行的有序软件核心：无副本，经检查的注册寄存器重命名
8. Modeling in the Stateflow (Registered Trademark) Environment to Support Launch Vehicle Verification Testing for Mission and Fault Management Algorithms in the NASA Space Launch System. [R] . Trevino, L., Berg, P., England, D., 2017

机译：在stateflow（注册商标）环境中建模，以支持Nasa空间发射系统中任务和故障管理算法的运载火箭验证测试。

14.5 A General Decomposition Strategy for Verifying Register Renaming ∗

著录项

引文网络

相似文献

相关主题

期刊订阅