• 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