电路与系统学报
電路與繫統學報
전로여계통학보
JOURNAL OF CIRCUITS AND SYSTEMS
2003年
6期
10-14
,共5页
沈海斌%潘国振%何乐年%严晓浪
瀋海斌%潘國振%何樂年%嚴曉浪
침해빈%반국진%하악년%엄효랑
外部设备互联%验证平台%片上系统
外部設備互聯%驗證平檯%片上繫統
외부설비호련%험증평태%편상계통
根据PCI 2.2协议规范,设计了高性能PCI Bridge IP以及两种提高可重用性的结构,并分析了实现的关键.另外,为了保证PCI协议的兼容性,以及其它功能测试、验证的要求,建立了一个PCI协议规范验证平台.在验证平台中,采用了形式验证的方法来实现PCI协议的描述,以保证验证平台本身的正确性.
根據PCI 2.2協議規範,設計瞭高性能PCI Bridge IP以及兩種提高可重用性的結構,併分析瞭實現的關鍵.另外,為瞭保證PCI協議的兼容性,以及其它功能測試、驗證的要求,建立瞭一箇PCI協議規範驗證平檯.在驗證平檯中,採用瞭形式驗證的方法來實現PCI協議的描述,以保證驗證平檯本身的正確性.
근거PCI 2.2협의규범,설계료고성능PCI Bridge IP이급량충제고가중용성적결구,병분석료실현적관건.령외,위료보증PCI협의적겸용성,이급기타공능측시、험증적요구,건립료일개PCI협의규범험증평태.재험증평태중,채용료형식험증적방법래실현PCI협의적묘술,이보증험증평태본신적정학성.
