萍乡高等专科学校学报
萍鄉高等專科學校學報
평향고등전과학교학보
JOURNAL OF PINGXIANG COLLEGE
2014年
3期
50-54
,共5页
FPGA%接口时序%SVA
FPGA%接口時序%SVA
FPGA%접구시서%SVA
本文介绍一种基于SVA(System Verilog Assertion)的FPGA接口时序验证实现方法,此方法以FPGA接口下级芯片的手册为基础,将手册中接口时序条件转换成SVA断言,并且在验证运行过程中,自动监测接口信号时序以到自动验证FPGA接口时序的目的.
本文介紹一種基于SVA(System Verilog Assertion)的FPGA接口時序驗證實現方法,此方法以FPGA接口下級芯片的手冊為基礎,將手冊中接口時序條件轉換成SVA斷言,併且在驗證運行過程中,自動鑑測接口信號時序以到自動驗證FPGA接口時序的目的.
본문개소일충기우SVA(System Verilog Assertion)적FPGA접구시서험증실현방법,차방법이FPGA접구하급심편적수책위기출,장수책중접구시서조건전환성SVA단언,병차재험증운행과정중,자동감측접구신호시서이도자동험증FPGA접구시서적목적.