DocumentCode :
2012514
Title :
A Network Based Functional Verification Method of IEEE 1394a PHY Core
Author :
Colin Yu Lin ; Cao, Song ; An, Junshe ; Han, Fei ; Fan, Qifei
Author_Institution :
Centre for Space Sci. & Appl. Res., Chinese Acad. of Sci., Beijing
fYear :
2008
fDate :
7-9 April 2008
Firstpage :
245
Lastpage :
250
Abstract :
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the main tasks in the design flow, aiming to certify the system functionality has been accomplished accordingly to the specification. A simulation based technique known as functional verification has been followed widely. In recent years, articles in functional verification have been presented, focusing on specific design verification and on methods to improve and accelerate coverage reaching. The majority of the papers are aimed to processors verification, while communication network designs were not such commonly reported. In the present paper, we present a novel and efficient network based functional verification method applied to an IEEE 1394a PHY core. The method presented reduces verification time, by automation in generating input signals from network, and parallelism in multi designs under verification of different physical and logical roles in network topology. The method can also be used in the functional verification of similar communication network designs.
Keywords :
IEEE standards; formal verification; peripheral interfaces; protocols; IEEE 1394a PHY core; communication network designs; coverage reaching; design verification; network based functional verification method; network topology; processors verification; very complex digital systems; Acceleration; Communication networks; Continuous improvement; Design automation; Design methodology; Digital systems; Network topology; Physical layer; Signal design; Signal generators;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Symposium on VLSI, 2008. ISVLSI '08. IEEE Computer Society Annual
Conference_Location :
Montpellier
Print_ISBN :
978-0-7695-3291-2
Electronic_ISBN :
978-0-7695-3170-0
Type :
conf
DOI :
10.1109/ISVLSI.2008.44
Filename :
4556802
Link To Document :
بازگشت