• DocumentCode
    2803469
  • Title

    Extensive Coverage of Functional Verification of Hardware Designs

  • Author

    Radu, Mihaela

  • Author_Institution
    Rose Hulman Inst. of Technol., Terre Haute
  • fYear
    2007
  • fDate
    3-4 June 2007
  • Firstpage
    101
  • Lastpage
    102
  • Abstract
    This paper presents the author\´s experience in teaching HDL concepts as part of a Digital Systems course and the conclusions regarding the importance of extensive coverage of functional verification of hardware designs. After almost four years of teaching this course and similar ones, the conclusions are that more time must be spent on functional verification rather than the traditional concepts of basic syntax and semantics to describe digital circuits. Such an approach may improve the learning process and the achievement of concepts and skills in digital design, encourage creative an analytical thinking, and overall assure more reliable designs. To prove the validity of this new approach, a research study regarding "Functional Verification in Digital Systems" was approved by The Institutional Research, Planning and Assessment department at Rose-Hulman Institute of Technology, Terre Haute, IN, and assessment data were gathered starting at the end of the winter quarter 2006-2007.
  • Keywords
    electronic engineering education; formal verification; hardware description languages; digital circuit design; electronic engineering education; functional verification; hardware design; Books; Circuit synthesis; Circuit testing; Digital circuits; Digital systems; Education; Hardware design languages; Logic design; Sequential analysis; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Microelectronic Systems Education, 2007. MSE '07. IEEE International Conference on
  • Conference_Location
    San Diego, CA
  • Print_ISBN
    0-7695-2849-X
  • Type

    conf

  • DOI
    10.1109/MSE.2007.42
  • Filename
    4231468