Verification of Basic Block Schedules Using RTL Transformations

机译：使用RTL转换验证基本块计划

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Rajesh Radhakrishnan; Elena Teica; Ranga Vemuri;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Instruction scheduling beyond basic blocks [J] . IBM Journal of Research and Development . 1990,第1期

机译：基本块之外的指令调度
2. Transformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems [J] . Chia-han Yang, Valeriy Vyatkin Control Engineering Practice . 2012,第12期

机译：将Simulink模型转换为IEC 61499功能块，以验证分布式控制系统
3. An integer programming approach to optimal basic block instruction scheduling for single-issue processors [J] . Juenger Michael, Mallach Sven Discrete optimization . 2016,第Pta1期

机译：用于单问题处理器的优化基本块指令调度的整数编程方法
4. Verification of Basic Block Schedules Using RTL Transformations [C] . Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri Correct Hardware Design and Verification Methods . 2001

机译：使用RTL转换验证基本块计划
5. FPGA-Accelerated Evaluation and Verification of RTL Designs [D] . Kim, Donggyu. 2019

机译：FPGA加速评估和RTL设计的验证
6. A Psychosocial Genomics Pilot Study in Oncology for Verifying Clinical Inflammatory and Psychological Effects of Mind-Body Transformations-Therapy (MBT-T) in Breast Cancer Patients: Preliminary Results [O] . Mauro Cozzolino, Stefania Cocco, Michela Piezzo, 2021

机译：乳腺癌患者中核癌炎症和心理作用验证临床炎症和心理作用的心理社会基因组学试验研究：初步结果
7. The great societal transformations: epigenetic explorations : a transdisciplinary perspective on the evolution of modern knowledge societies ; part I, The Epigenetic Research Program (EPR) - basic building blocks ; part II, 'Great transformations' within modern societies - epigenetic transfer modules (TM) [O] . Müller Karl H. 2011

机译：巨大的社会变革：表观遗传学探索：现代知识社会演进的跨学科视角；第一部分，表观遗传研究计划（EPR）-基本构件；第二部分，现代社会中的“重大变革”-表观遗传转移模块（TM）
8. Optimization of Horizontal Microcode within and Beyond Basic Blocks: An Application of Processor Scheduling with Resources [R] . Fisher, J. A. 1979

机译：基本块内外水平微码的优化：资源处理器调度的应用

Verification of Basic Block Schedules Using RTL Transformations

著录项

引文网络

相似文献

相关主题

期刊订阅