期刊文献+

应用于SoC功能验证的快速处理器仿真模型 被引量:2

Fast processor simulation model for SoC function verification
下载PDF
导出
摘要 针对处理器仿真模型在SoC功能验证中效率低下的问题,提出了一种基于时间域和空间域仿真冗余压缩的处理器快速仿真模型.基于时间域的仿真冗余压缩方法通过监测总线工作状态,消除总线空闲下的系统冗余仿真.基于空间域的仿真冗余压缩方法通过监测程序访问存储器的地址空间,缩减访问本地存储空间时的冗余系统仿真.实验结果表明,该模型在保证仿真精度高于80%的基础上,可有效减少系统冗余的仿真事务;当2种方法联合应用时平均提高仿真速度60.27倍左右,从而提高软硬件协同设计的效率. In order to improve the efficiency of the processor model in SoC simulation, a fast processor simulation model with two novel methods which were named as temporal redundant compression (TRC) and spatial redundant compression (SRC) was proposed. In the mechanism of TRC, idle states of the system bus were detected and all the redundant simulations in these periods were skipped. SRC monitored the address of data operation dynamically, and made processor model access internal memory when the targetaddress fell into the region of local memory. Instruction fetching and local memory accessing were both removed in system simulation. Experiments showed that these two methods can efficiently reduce redundant simulation transactions and speed up the simulation by about 60. 27 times averagely while keeping the accuracy being over 80%.
出处 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2009年第3期401-405,522,共6页 Journal of Zhejiang University:Engineering Science
关键词 处理器仿真模型 时间域压缩 空间域压缩 软硬件协同设计 processor simulation model temporal redundant compression (TRC) spatial redundant compression (SRC) software and hardware co-design
  • 相关文献

参考文献10

  • 1TSAI T, YANG Y, LIU C. A hardware/software codesign of MP3 audio decoder [J]. Journal of VLSI Signal Processing Systems, 2005, 41(1): 111 - 127.
  • 2HWANG D, LAI B, FAN Y, et al. Design flow for HW/ SW acceleration transparency in the thumbpod secure embedded system [C] // Proceedings of the 40th Design Automation Conference. Anaheim: IEEE, 2003 : 60 - 65.
  • 3ANDREWS J. Improving HW/SW co-verification with SoC verification matrix [J]. ARM IQ Magazine, 2004, 3 (2): 40-45.
  • 4RIIHIMAKI J, HELMINEN V, KUUSILINNA, et al. Distributing SoC simulations over a network of computers [ C]//Proceedings of the Euromiero Symposium on Digital System Design. Belek-Antalya.. IEEE Computer Society, 2003 : 447.
  • 5LEE J, YANG W, KWON Y, et al. Simulation acceleration of transaction-level models for SoC with RTL subblocks[C]// Proceedings of the 2005 Conference on Asia South Pacific Design Automation. Shanghai: ACM, 2005 : 499 - 502.
  • 6ARM Ltd. The ARM DesignStart^TM program [EB/ OL]. [2007-07-22]. http://www. arm. com/products/licensing/designstart. html.
  • 7NAKAMURA Y, HOSOKAWA K, KURODA I, et al. A fast hardware/software co-verification method for system-on-a-chip by using a C/C-++ simulator and FPGA emulator with shared register communication[C] // Proceedings of the 41st Design Automation Conference. San Diego: IEEE Computer Society, 2004: 299 - 304.
  • 8YANG W, CHUNG M K, KYUNG C M. Current status and challenges of SoC verification for embedded systems market [C ]// Proceedings of IEEE International System-on-Chip. Portland: IEEE, 2003: 213- 216.
  • 9C-SKY Microsystems. 32-bit high performance and low power embedded processor[EB/OL]. [2003-08-01]. http: //www. c-sky. com.
  • 10SCOTT J, LEE H, ARENDS J, et al. Designing the low-power M * Core^TM architecture[C]// Proceedings of IEEE Power Driven Mieroarehiteeture Workshop. Barcelona: ACM, 1998:145- 150.

同被引文献18

  • 1Muller M.The ARM600 processor and FPA[C]∥Hot Chip 4Symposium on Performance Chips,Memorial Auditorium,Stan-ford,1992.
  • 2Montanaro J,Witek R T,Anne K,et al.A 160 MHz 32-b 0.5WCMOS RISC microprocessor[C]∥The 42nd IEEE InternationalSolid-State Circuits Conference,ISSCC 1996.Austin,TX,1996:214-215,447.
  • 3Kin J,Munish G,Mangione-Smith W H,et al.The filter cache:An energy efficient memory structure[C]∥Proceedings of the30th Annual IEEE/ACM International Symposium on Micro-ar-chitecture,San Diego,California,USA,1997:184-193.
  • 4Yang Chia-lin,Lee Chien-hao.HotSpot cache:Joint temporal andspatial locality exploitation for I-cache energy reduction[C]∥Proceedings of the 2004 International Symposium on Low PowerElectronics and Design,Newport Beach,California,USA,2004:9-11.
  • 5Inoue K,Ishihara T,Murakami K.Way-predicting set-asociativecache for high performance and low energy consumption[C]∥Proceedings of International Symposium on Low Power Electro-nics and Design,San Diego,California,USA,1999:273-276.
  • 6Powell M D,Agarwal A,Vijaykumar T N,et al.Reducing set-as-sociative cache energy via way-prediction and selective directmapping[C]∥Proceedings of the 34th International Symposiumon Micro-architecture,MICRO 34:IEEE,Computer SocietyWashington D C,USA,2001:54-65.
  • 7Michael A M,Zhang M,Asanovic K.Way memorization to reducefetch energy in instruction cache[C]∥Workshop on Complexity-Effective Design,Goteborg,Sweden:IEEE Computer Society,2001.
  • 8C-SKY Microsystems.32-bit high performance and low power em-bedded processor[DB/OL].[2003—07—10].http:∥www.c-sky.com.
  • 9BELLAS N,HAJJ I N,POLYCHRONOPOULOS CD,et al.Architectural and compiler techniques for en-ergy reduction in high-performance microprocessors. Very Large Scale Integration (VLSI)Systems . 2000
  • 10ZHANG Ming-ming,CHANG Xiao-tao,ZHANG Ge.Re-ducing cache energy consumption by tag encoding in embed-ded processors. Proceedings of the 2007InternationalSymposium on Low Power Electronics and Design . 2007

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部