Open Access
Volume 41, Number 5, Octobre 2023
Page(s) 1024 - 1032
Published online 11 December 2023
  1. BACHRACH Jonathan, VO Huy, RICHARDS Brian, et al. Chisel: constructing hardware in a scala embedded language[C]//Design Automation Conference, 2012 [Google Scholar]
  2. CHIUSANO P, BJARNASON R. Functional programming in Scala[M]. Greenmch: Greenmch Manning Press, 2014 [Google Scholar]
  3. CELIO C, CHIU P F, ASANOVIC K, et al. BROOM: an open-source out-of-order processor with resilient low-voltage operation in 28 nm CMOS[J]. IEEE Micro, 2019, 99(1): 1 [Google Scholar]
  4. ALIMI N, LAHBIB Y, MACHHOUT M, et al. Simulation-based verification of large-integer arithmetic circuits[C]//2016 1st IEEE International Verification and Security Workshop, 2016 [Google Scholar]
  5. MARCELA Imková, ZDENEK Kotásek. Automation and optimization of coverage-driven verification[C]//Euromicro Conference on Digital System Design, 2015 [Google Scholar]
  6. WANG Shupeng. Research on simulation-based multi-core processor function verification technology[D]. Hangzhou: Zhejiang University, 2017 (in Chinese) [Google Scholar]
  7. ZHAO Kang. System-level power optimization and verification for Godson 2K1000B processor[D]. Nanjing: Southeast University, 2020 (in Chinese) [Google Scholar]
  8. CHEN Guohua. Verification method for super scale multi-core processor[J]. Applications of IC, 2019. [Article] (in Chinese) [Google Scholar]
  9. LAEUFER K, KOENIG J, KIM D, et al. RFUZZ: coverage-directed fuzz testing of RTL on FPGAs[C]//IEEE/ACM International Conference on Compater Aided Design, 2018 [Google Scholar]
  10. DOBIS A. Towards functional coverage-driven fuzzing for Chisel designs[C]//Workshop on Open-Source EDA Technology, 2021 [Google Scholar]
  11. Suereth Joshua D. Sbt in action: the simple Scala build tool[M]. Greenwick: Greenwick Manning Publications Co, 2016 [Google Scholar]
  12. GUTHAUS M R, RINGENBERG J S, ERNST D, et al. MiBench: a free, commercially representative embedded benchmark suite[C]//IEEE International Workshop on Workload Characterization, 2001 [Google Scholar]
  13. WEICKER R P. Dhrystone: a synthetic systems programming benchmark[J]. Communications of the ACM, 1984, 27(10): 1013–1030. [Article] [CrossRef] [Google Scholar]
  14. ZHOU Jiansheng, GU Yong, LIU Wenquan. An open source embedded operating system-uCLinux[J]. China Science and Technology Information, 2005(19): 82. [Article] (in Chinese) [Google Scholar]
  15. CHEN J, FAN Y, RAN L, et al. uClinux transplantion based on ARM7TDMI[J]. Journal of Electron Devices, 2003(3): 12–13 [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.