摘要
主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标,提出了OVA的特点及应用,并以LCD controller的sharp接口时序为实例讲解了该方法的优点。
The paper mainly discusses the application of an new hardware verification platform OVA (open vera assertion) based on assertion technology, which check the design code according the design object, and also discusses the application and specialty of OVA, at last it shows the advantage of it with the example of LCD controller's sharp interface.
出处
《山西电子技术》
2007年第5期3-4,27,共3页
Shanxi Electronic Technology
基金
国家863项目(NO.2004AA001390)