Sharma, S., & Song, X., & Ghonim, M., & Zhang, J. (2024, June), An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum  Paper presented at 2024 ASEE Annual Conference & Exposition, Portland, Oregon. 10.18260/1-2--46560

\bibitem{asee_peer_46560}
  Sharma, S., \& Song, X., \& Ghonim, M., \& Zhang, J. (2024, June), \emph{An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum}
  Paper presented at 2024 ASEE Annual Conference \& Exposition, Portland, Oregon.
  10.18260/1-2--46560

Shruti Sharma, Xiaoyu Song, Mohamed Ghonim, and Jin Zhang.  "An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum".  2024 ASEE Annual Conference & Exposition, Portland, Oregon, 2024, June.  ASEE Conferences, 2024.  https://peer.asee.org/46560 Internet.  07 Jan, 2025

\bibitem{asee_peer_46560}
  Shruti Sharma, Xiaoyu Song, Mohamed Ghonim, and Jin Zhang.
  "An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum".
  \emph{2024 ASEE Annual Conference \& Exposition, Portland, Oregon, 2024, June}.
  ASEE Conferences, 2024.
  https://peer.asee.org/46560 Internet.  07 Jan, 2025

@INPROCEEDINGS{asee_peer_46560
author = "Shruti Sharma, Xiaoyu Song, Mohamed Ghonim, and Jin Zhang"
title = "An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum"
booktitle = "2024 ASEE Annual Conference \& Exposition"
year = "2024"
month = "June"
address = "Portland, Oregon"
publisher = "ASEE Conferences"
note = {https://peer.asee.org/46560}
number = {10.18260/1-2--46560}
}

TY  - CPAPER
AB  - The traditional method of functional verification of digital designs in industry has been simulation.
However, due to increase in design complexity and size, the traditional approach of simulation is
becoming a bottleneck to achieve desired level of coverage and functional correctness. Due to the same
reason, formal verification is becoming one of the widely used methodology for functional verification of
RTL designs in industry. This paper focuses on designing a graduate level course to introduce assertion
based formal verification into the graduate Electrical and Computer Engineering curriculum at Portland
State University (PSU). The course is unique for the application of formal methods using industrial tools.
We describe approaches designed to make students familiar with what, why and where of formal
verification, while designing projects to give them hands on experience with formal verification tools like
VC Formal. Our successful experience demonstrates an effective path of applying industrial formal
method tools in graduate education programs.
AU  - Shruti Sharma
AU  - Xiaoyu Song
AU  - Mohamed Ghonim
AU  - Jin Zhang
CY  - Portland, Oregon
DA  - 2024/06/23
PB  - ASEE Conferences
TI  - An Industrial Tool Based Graduate Class in ECE Design Verification Curriculum
UR  - https://peer.asee.org/46560
DO  - 10.18260/1-2--46560
ER  -