• DocumentCode
    1646594
  • Title

    A methodology for timely verification of a complex SoC

  • Author

    Landau, Peretz ; Regev, Guy

  • Author_Institution
    Percello Ltd., Israel
  • fYear
    2009
  • Firstpage
    137
  • Lastpage
    140
  • Abstract
    This paper presents a novel and alternative methodology of logic/functional verification of a system-on-a-chip integrated-circuit. This methodology was used by our company for a successful and timely tape-out of our SoC. We will show a complete verification methodology that resulted in a fully-functional first silicon and quick time to market.
  • Keywords
    formal verification; logic testing; system-on-chip; complex SoC; functional verification; logic verification; system-on-a-chip integrated-circuit; 3G mobile communication; Application specific integrated circuits; Communication system control; Computer architecture; Digital signal processing; Logic; Modems; Silicon; System-on-a-chip; Time to market;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    SoC Design Conference (ISOCC), 2009 International
  • Conference_Location
    Busan
  • Print_ISBN
    978-1-4244-5034-3
  • Electronic_ISBN
    978-1-4244-5035-0
  • Type

    conf

  • DOI
    10.1109/SOCDC.2009.5423894
  • Filename
    5423894