助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   state transition path 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
计算机硬件技术
更多类别查询

图标索引 历史查询
 

state transition path
相关语句
  状态转移路径
     Focusing on the functional verification of instruction sequences,we introduce its verification method which is based on the basic state transition path of FSM abstracted from pipeline control unit of microprocessor.
     根据指令生成模型、验证计划等创建微处理器功能验证程序模板,并结合微处理器流水线状态控制部件的有限状态机的基本状态转移路径,提出一种指令序列的功能验证方法.
短句来源
  相似匹配句对
     MODEL STATE TRANSITION OF PENDULUM
     摆渡问题的状态转移模型
短句来源
     state.
     state.
短句来源
     State and V. T.
     Stace和V.T.
     On the Aromatic Transition State Theory
     芳香过渡态理论及其应用
短句来源
     Identifying unexpected state transition paths in synthesized statecharts
     合成状态图中非预期状态转换路径的确认
短句来源
查询“state transition path”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  state transition path
We have also shown how to determine suitable points for the segmentation of actuator electrodes depending on the desired state transition path.
      


According to the function,syntax format and semantic requirements of instructions,we build instruction type sets and instruction operand sets of microprocessor.Then we create an instruction generation model for each instruction type set and verification program templates based on instruction generation models,verification plan,etc.Focusing on the functional verification of instruction sequences,we introduce its verification method which is based on the basic state transition path of FSM abstracted from...

According to the function,syntax format and semantic requirements of instructions,we build instruction type sets and instruction operand sets of microprocessor.Then we create an instruction generation model for each instruction type set and verification program templates based on instruction generation models,verification plan,etc.Focusing on the functional verification of instruction sequences,we introduce its verification method which is based on the basic state transition path of FSM abstracted from pipeline control unit of microprocessor.At last,verification programs can be pseudo-randomly generated according to program templates.Experimental results show that this approach can efficiently generate RISC3200's verification programs with high functional coverage and low simulation time.

根据指令集构造的指令功能、语法格式和语义要求,建立了微处理器指令类型集合和指令操作数集合;以此为基础,为每个指令类型集合构建一个指令生成模型.根据指令生成模型、验证计划等创建微处理器功能验证程序模板,并结合微处理器流水线状态控制部件的有限状态机的基本状态转移路径,提出一种指令序列的功能验证方法.根据程序模板实现功能验证程序伪随机生成.实验结果表明:采用该方法可以高效生成功能覆盖率高、仿真时间短的RISC3200功能验证程序.

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关state transition path的内容
在知识搜索中查有关state transition path的内容
在数字搜索中查有关state transition path的内容
在概念知识元中查有关state transition path的内容
在学术趋势中查有关state transition path的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社