Coverage Closure Efficient UVM based Generic Verification Architecture for Flash Memory Controllers

被引:1
|
作者
El-Yamany, Ahmed [1 ]
El-Ashry, Sameh [2 ]
Salah, Khaled [3 ]
机构
[1] Alexandria Univ, Alexandria, Egypt
[2] Ain Shams Univ, Alexandria, Egypt
[3] Mentor Graph Corp, Cairo, Egypt
关键词
UVM; Verification; e.MMC; ONFI; one-NAND; SD-Card; UFS; Memory Controller; Flash Memory;
D O I
10.1109/MTV.2016.10
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Memory controllers are stated as the backbone of diverse architectures in the ASIC world. Among many concerns in enhancing the performance of the memory controllers is the tremendous verification process that consumes time, effort and resources. This paper proposes an optimized generic universal verification methodology (UVM) architecture to verify the flash memory controllers. The architecture built is based on a survey about the main flash memory controllers architecture types including Flex-One NAND, Open NAND Flash Interface (ONFI), Embedded Multi-Media Card (e.MMC), Universal Flash Storage (UFS) and the SD-CARD memory controller examined with open source wishbone(WB) interface. Introducing an optimized solution for most of memory controllers verification environments is a great challenge owing to the harshness in building and reusing resources, the numerous protocols that the verifier should be aware of and the high number of iterations to reach full functional coverage. The generic environment offers several advantages, especially regarding the number of tests and sequences developed to achieve full coverage. The generic environment also provides the versatility of using pre-developed UVM architectures that eventually contribute in achieving much less developing time for the whole design process. Throughout the architecture, we will be using new techniques and state-of-the-art developed blocks to achieve the highest coverage closure time as well as an innovative way to build a reference model and how to efficiently utilize and accelerate the scoreboard checking process.
引用
收藏
页码:30 / 34
页数:5
相关论文
共 50 条
  • [21] Timed verification of the generic architecture of a memory circuit using parametric timed automata
    Chevallier, Remy
    Encrenaz-Tiphene, Emmanuelle
    Fribourg, Laurent
    Xu, Weiwen
    FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (01) : 59 - 81
  • [22] Memory-efficient compressed filesystem architecture for NAND flash-based embedded systems
    Hyun, Seunghwan
    Ahn, Sungyong
    Lee, Sehwan
    Bahn, Hyokyung
    Koh, Kern
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2007, PT 1, PROCEEDINGS, 2007, 4705 : 252 - +
  • [23] Cost-efficient memory architecture design of NAND flash memory embedded systems
    Park, C
    Seo, J
    Seo, DY
    Kim, S
    Kim, B
    21ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, PROCEEDINGS, 2003, : 474 - 480
  • [24] Energy-Efficient Deep In-memory Architecture for NAND Flash Memories
    Gonugondla, Sujan K.
    Kang, Mingu
    Kim, Yongjune
    Helm, Mark
    Eilert, Sean
    Shanbhag, Naresh
    2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2018,
  • [25] Architecture and Technologies of Flash Memory Based Solid State Drives
    Gao C.
    Shi L.
    Liu K.
    Xue C.
    Shu J.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2021, 58 (07): : 1518 - 1532
  • [26] An efficient memory-based FFT architecture
    Chang, CK
    Hung, CP
    Chen, SG
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL II: COMMUNICATIONS-MULTIMEDIA SYSTEMS & APPLICATIONS, 2003, : 129 - 132
  • [27] Decoupled SSD: Rethinking SSD Architecture through Network-based Flash Controllers
    Kim, Jiho
    Jung, Myoungsoo
    Kim, John
    PROCEEDINGS OF THE 2023 THE 50TH ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, ISCA 2023, 2023, : 856 - 868
  • [28] Design and Implementation of an Efficient Flash-based SSD Architecture
    Yan, Wei
    Wang, Xuguang
    Yu, Xujin
    2014 4TH IEEE INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST), 2014, : 79 - 83
  • [29] A Generic UVM Verification Framework Based on Two-stage Comparison for Protocol-Agnostic Data Streams in Digital Designs
    Zheng, Yuxin
    Mo, Jiongjiong
    Liu, Jiarui
    Yu, Faxin
    2024 9TH INTERNATIONAL CONFERENCE ON ELECTRONIC TECHNOLOGY AND INFORMATION SCIENCE, ICETIS 2024, 2024, : 704 - 710
  • [30] An Efficient Garbage Collection for Flash Memory-Based Virtual Memory Systems
    Ji, Seunggu
    Shin, Dongkun
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 2010, 56 (04) : 2355 - 2363