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