TY - GEN
T1 - Mixed-signal System-on-a-Chip (SoC) verification based on SystemVerilog model
AU - Yang, Xiaokun
AU - Niu, Xinwei
AU - Fan, Jeffrey
AU - Choi, Chiu
PY - 2013
Y1 - 2013
N2 - Simulation speed and a lack of test approaches are the main difficulties in the mixed-signal verification of a complex System-on-a-Chip (SoC). In this paper, an equivalent high-level Radio Frequency (RF) model is created by the SystemVerilog language and integrated into a mixed-signal SoC. Such a model can be executed on a digital simulator, which is dramatically faster than the traditional method using an analog solver. Some mixed-signal verification approaches based on digital methods (including constrained random data generation, assertion-based verification, coverage-driven verification, and Verification Methodology Manual) are also presented as well as a case on the integrated SoC.
AB - Simulation speed and a lack of test approaches are the main difficulties in the mixed-signal verification of a complex System-on-a-Chip (SoC). In this paper, an equivalent high-level Radio Frequency (RF) model is created by the SystemVerilog language and integrated into a mixed-signal SoC. Such a model can be executed on a digital simulator, which is dramatically faster than the traditional method using an analog solver. Some mixed-signal verification approaches based on digital methods (including constrained random data generation, assertion-based verification, coverage-driven verification, and Verification Methodology Manual) are also presented as well as a case on the integrated SoC.
UR - http://www.scopus.com/inward/record.url?scp=84879771436&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84879771436&partnerID=8YFLogxK
U2 - 10.1109/SSST.2013.6524952
DO - 10.1109/SSST.2013.6524952
M3 - Conference contribution
AN - SCOPUS:84879771436
SN - 9781479900374
T3 - Proceedings of the Annual Southeastern Symposium on System Theory
SP - 17
EP - 21
BT - 45th Southeastern Symposium on System Theory, SSST 2013
T2 - 45th Southeastern Symposium on System Theory, SSST 2013
Y2 - 11 March 2013 through 11 March 2013
ER -