Assertion-Based Verification of I2C Module Using SystemVerilog
Պահպանված է:
| Հրատարակված է: | Electronics vol. 14, no. 8 (2025), p. 1687 |
|---|---|
| Հիմնական հեղինակ: | |
| Այլ հեղինակներ: | , , , |
| Հրապարակվել է: |
MDPI AG
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Citation/Abstract Full Text + Graphics Full Text - PDF |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3194581696 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2079-9292 | ||
| 024 | 7 | |a 10.3390/electronics14081687 |2 doi | |
| 035 | |a 3194581696 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 084 | |a 231458 |2 nlm | ||
| 100 | 1 | |a Dae-Won, Moon |u Department of Electronic Information System Engineering, Sangmyung University, Cheonan 31066, Republic of Korea | |
| 245 | 1 | |a Assertion-Based Verification of I2C Module Using SystemVerilog | |
| 260 | |b MDPI AG |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a In today’s semiconductor verification field, SystemVerilog Assertions (SVAs) are one of the most important methodologies for functional verification. A representative verification technique is Universal Verification Methodology (UVM)-based verification, which utilizes a SystemVerilog class library. On the other hand, Assertion-Based Verification (ABV) using SVA allows hardware designs to be verified without requiring knowledge of SystemVerilog’s Object-Oriented Programming (OOP) concepts or UVM. Its syntax is intuitive and concise, enabling rapid detection of RTL (Register Transfer Level) bugs during the design and verification phases. This methodology significantly enhances productivity by drastically reducing the time required for semiconductor development. This paper proposes an ABV verification environment using SVA that is reusable in other verification environments for verifying the main functions of the Inter-Integrated Circuit (I2C), one of the serial synchronous communication protocols. Finally, through the development of the RTL design and simulation of the core functionalities of I2C, the key characteristics of I2C were verified using ABV with SVA. | |
| 653 | |a Simulation | ||
| 653 | |a Design specifications | ||
| 653 | |a Verification | ||
| 653 | |a Integrated circuits | ||
| 653 | |a Semiconductors | ||
| 653 | |a Class libraries | ||
| 653 | |a Communication | ||
| 653 | |a Object oriented programming | ||
| 700 | 1 | |a Seung-Hyun, Pyo |u Department of System Semiconductor Engineering, Sangmyung University, Cheonan 31066, Republic of Korea; 202221381@sangmyung.kr (S.-H.P.); hongdk@smu.ac.kr (D.-K.H.) | |
| 700 | 1 | |a Dae-Ki, Hong |u Department of System Semiconductor Engineering, Sangmyung University, Cheonan 31066, Republic of Korea; 202221381@sangmyung.kr (S.-H.P.); hongdk@smu.ac.kr (D.-K.H.) | |
| 700 | 1 | |a Otgonbayar, Bataa |u School of Information and Communication Technology, Mongolian University of Science and Technology, Ulaanbaatar 14191, Mongolia; otgonbayar_b@must.edu.mn (O.B.); erdenekhuu@must.edu.mn (E.N.) | |
| 700 | 1 | |a Erdenekhuu, Norinpel |u School of Information and Communication Technology, Mongolian University of Science and Technology, Ulaanbaatar 14191, Mongolia; otgonbayar_b@must.edu.mn (O.B.); erdenekhuu@must.edu.mn (E.N.) | |
| 773 | 0 | |t Electronics |g vol. 14, no. 8 (2025), p. 1687 | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3194581696/abstract/embedded/ZKJTFFSVAI7CB62C?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text + Graphics |u https://www.proquest.com/docview/3194581696/fulltextwithgraphics/embedded/ZKJTFFSVAI7CB62C?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3194581696/fulltextPDF/embedded/ZKJTFFSVAI7CB62C?source=fedsrch |