• DocumentCode
    1559824
  • Title

    Principles of verifiable RTL design [Book Review]

  • Author

    Badawy, Wael

  • Author_Institution
    University of Calgary
  • Volume
    18
  • Issue
    1
  • fYear
    2002
  • Firstpage
    26
  • Lastpage
    27
  • Keywords
    Book reviews; Design engineering; Electronic design automation and methodology; Hardware design languages; Intersymbol interference; Large-scale systems; Magnetic recording; Object oriented modeling; Parity check codes; Turbo codes;
  • fLanguage
    English
  • Journal_Title
    Circuits and Devices Magazine, IEEE
  • Publisher
    ieee
  • ISSN
    8755-3996
  • Type

    jour

  • DOI
    10.1109/MCD.2002.981298
  • Filename
    981298