DocumentCode :
2748767
Title :
IP validation for FPGAs using Hardware Object TechnologyTM
Author :
Casselman, Steve ; Schewel, John ; Beaumont, Christophe
Author_Institution :
Virtual Comput. Corp., Reseda, CA, USA
fYear :
1999
fDate :
12-16 Apr 1999
Firstpage :
624
Lastpage :
629
Abstract :
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional description of the circuit, with no timing consideration. On the other hand, simulation runs mainly on subsets of the entire input domain. Furthermore, these tools provide results in a format (e.g. state graphs, bit vectors or signal waves) that remain disconnected from the real output of the application. We introduce in this paper the process of validation applied to digital designs in FPGAs. It allows the designer the ability to test his/her implementation using the real data of the application and providing real results. With such real data, it becomes easier to identify where the error occurs and then to understand it
Keywords :
field programmable gate arrays; formal verification; logic CAD; logic simulation; timing; FPGAs; Hardware Object Technology; IP validation; digital designs; error; functional description; simulation tools; timing; verification tools; Analytical models; Circuit simulation; Circuit synthesis; Circuit testing; Computational modeling; Computer simulation; Feeds; Field programmable gate arrays; Hardware; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Parallel Processing, 1999. 13th International and 10th Symposium on Parallel and Distributed Processing, 1999. 1999 IPPS/SPDP. Proceedings
Conference_Location :
San Juan
Print_ISBN :
0-7695-0143-5
Type :
conf
DOI :
10.1109/IPPS.1999.760542
Filename :
760542
Link To Document :
بازگشت