Title :
Extensive Coverage of Functional Verification of Hardware Designs
Author_Institution :
Rose Hulman Inst. of Technol., Terre Haute
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;
Conference_Titel :
Microelectronic Systems Education, 2007. MSE '07. IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-2849-X
DOI :
10.1109/MSE.2007.42