• DocumentCode
    2216456
  • Title

    Verification of configurable processor cores

  • Author

    Puig-Medina, Marinés ; Ezer, Gülbin ; Konas, Pavlos

  • Author_Institution
    Tensilica, Inc.
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    426
  • Lastpage
    431
  • Keywords
    Automatic programming; Design methodology; Hardware design languages; Permission; Process control; Process design; Space exploration; System testing; System-on-a-chip; Time to market;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2000. Proceedings 2000
  • Print_ISBN
    1-58113-187-9
  • Type

    conf

  • DOI
    10.1109/DAC.2000.855349
  • Filename
    855349