Instruction retry verification functional equipped information processing equipment and instruction retry verification manner

• 1. 信息处理设备、密钥生成设备、签名验证设备、信息处理方法、签名生成方法和程序 [P] . 中国专利： CN102640451A . 2012-08-15
• 2. 微处理器功能验证设备及微处理器功能验证方法 [P] . 中国专利： CN105589993B . 2019.01.15
• 3. INFORMATION PROCESSING DEVICE WITH INSTRUCTION RETRY VERIFICATION FUNCTION, AND INSTRUCTION RETRY VERIFICATION METHOD [P] . 日本专利： JP2006040174A . 2006-02-09

  机译： 具有指令重试验证功能的信息处理装置及指令重试验证方法

• 4. Information processing apparatus having a verification function of the list instruction, method of verifying a list instruction, and programs for the verification of the list instruction [P] . 日本专利： JP5882800B2 . 2016-03-09

  机译： 具有列表指令的验证功能的信息处理设备，验证列表指令的方法以及用于验证列表指令的程序

• 5. INFORMATION PROCESSING DEVICE WITH LIST INSTRUCTION VERIFICATION FUNCTION, METHOD OF VERIFYING LIST INSTRUCTION, AND PROGRAM FOR VERIFYING LIST INSTRUCTION [P] . 日本专利： JP2013196068A . 2013-09-30

  机译： 具有列表指令验证功能的信息处理设备，验证列表指令的方法以及验证列表指令的程序

• 1. Verification of instruction set specification for an ASIP [J] . JI Jin-song, MAIER Ste-fan, NIE Xiao-ning, 哈尔滨工业大学学报（英文版） . 2008,第004期
• 2. Verification of instruction set specification for an ASIP [J] . 纪金松, MAIER Stefan, 聂晓宁, 哈尔滨工业大学学报：英文版 . 2008,第004期
• 3. Pigeon Robot for Navigation Guided by Remote Control:System Construction and Functional Verification [J] . Zhengyue Zhou, Denghui Liu, Hong Sun, 仿生工程学报（英文版） . 2021,第001期
• 4. Functional verification of instruction processing units through control flow modeling [J] . Rami Feig, Shlomo Weiss Microelectronics journal . 2002,第3期
• 5. A biased random instruction generation environment for architectural verification of pipelined processors [J] . Ta-Chung Chang, Vikram Iyengar, Elizabeth M. Rudnick Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2000,第1a2期
• 6. A biased random instruction generation environment for architectural verification of pipelined processors [J] . Ta-Chung Chang, Vikram Iyengar, Elizabeth M. Rudnick Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2000,第1a2期
• 7. Automated Functional Verification of Application Specific Instruction-set Processors [C] . Marcela Simkova, Zdenek Prikryl, Zdenek Kotasek, IFIP TC 10 international embedded systems symposium . 2013
• 8. A COMPARISON OF TWO METHODS OF INSTRUCTION (INQUIRY VERSUS VERIFICATION) WITH RESPECT TO INSTRUCTIONAL PREFERENCES OF SECONDARY SCHOOL SCIENCE TEACHERS IN AN ASTRONOMY INSERVICE INSTITUTE. [D] . FRANTZ, DAVID JOSEPH. 1973
• 9. Automated postural responses are modified in a functional manner by instruction [O] . Vivian Weerdesteyn, Andrew C. Laing, Stephen N. Robinovitch -1
• 10. Automated Functional Verification of Application Specific Instruction-set Processors [O] . Šimková, Marcela, Přikryl, Zdeněk, Kotásek, Zdeněk, 2013
• 11. Compiler-Assisted Debugging and Multiple Instruction Retry [R] . Chen, S. K. 1994

• 1. New continuum and polarization observations of the Cygnus Loop with FAST I.Data processing and verification [J] . 孙晓辉 ,蒙美娘 ,高旭阳 . 天文和天体物理学研究:英文版 . 2021,第11期
• 2. An On-chip Interconnection QoS Verification Platform of Processor of Large Data for Architectural Modeling Analysis [J] . Li Qinghua1 ,Qin Jilong3 ,Ding Xu2 . 国际计算机前沿大会会议论文集 . 2015,第001期
• 3. 基于层次化验证方法的FPGA软件功能验证 [C] . 阳徽 ,许春来 . 2011年航天可靠性学术交流会 . 2011
• 4. 生防酵母(C.laurentii)诱导条件下LePR5基因表达、功能验证及调控方式的探索 [A] . 郭峻 . 2014