科学技术与工程
科學技術與工程
과학기술여공정
SCIENCE TECHNOLOGY AND ENGINEERING
2010年
23期
5652-5656
,共5页
性质描述语言%断言的验证%先进先出队列存储器
性質描述語言%斷言的驗證%先進先齣隊列存儲器
성질묘술어언%단언적험증%선진선출대렬존저기
性质描述语言(Property Specification Language)为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法.用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来.通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性.
性質描述語言(Property Specification Language)為描述硬件設計的屬性提供瞭一種標準語言,基于斷言的驗證方法為硬件的設計和驗證提齣瞭一種新的很具有優勢的驗證方法.用性質描述語言作為斷言的驗證方法中描述斷言的語言,使得斷言能夠被語法精簡、語義嚴格清晰地描述齣來.通過對先進先齣隊列存儲器的設計和斷言的描述,以及對斷言的驗證結果的描述,給齣瞭如何利用性質描述語言寫斷言的一般方法,然後再進行模擬倣真,找齣使斷言失敗的原因,以便找齣設計的錯誤,併驗證瞭本方法在硬件驗證中的有效性.
성질묘술어언(Property Specification Language)위묘술경건설계적속성제공료일충표준어언,기우단언적험증방법위경건적설계화험증제출료일충신적흔구유우세적험증방법.용성질묘술어언작위단언적험증방법중묘술단언적어언,사득단언능구피어법정간、어의엄격청석지묘술출래.통과대선진선출대렬존저기적설계화단언적묘술,이급대단언적험증결과적묘술,급출료여하이용성질묘술어언사단언적일반방법,연후재진행모의방진,조출사단언실패적원인,이편조출설계적착오,병험증료본방법재경건험증중적유효성.
