Digital Systems Verifications

Course Name: 

Digital Systems Verifications (CS431)


B.Tech (CSE)




Programme Specific Electives (PSE)

Credits (L-T-P): 



Simulation Approaches for Systems Verification: Simulation-Based Verification Techniques for System-Level
Designs, Simulation Types, High-Level Simulation Tools, Limitations of Simulation-Based Verification, Coverage
Metrics. Formal Verification Techniques: Equivalence Checking Combinational Equivalence Checking, Model
Checking, Semi-Formal Verification Techniques, Static Checking of Higher-Level Design Descriptions, Finite
Automata and Temporal Logic. Universal Verification Methodology (UVM): Verification Testbenches,
Analog/Mixed-Signal Verification, Use of ATPG algorithms, Programmable Hardware. Component Verification:
GPU Verification, CPU Verification, Cache Verification, SoC Verification, Challenges in Component Verifications.
New Directions in Verification: Integrated Design Validation System, Machine Learning and AI in System’s
Verification, System’s Security and Safety Verification; Increase System’s and Tools Capacity.


Verification Techniques for System-Level Design, Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad, Morgan Kaufmann Publishers, 2008
Digital System Verification- A Combined Formal Methods and Simulation Framework, Lun Li, Mitchell A. Thornton, Morgan Claypool Publishers, 2010.
Logic in Computer Science-Modelling and Reasoning About Systems, Michael Huth and Mark Ryan, Cambridge University Press, 2004.
Scalable Hardware Verification with Symbolic Simulation, Valeria Bertacco, Springer, 2006.
Verification of Digital and Hybrid Systems, Kemallnan, Robert P. Kurshan, Springer, 2000.
Recent Research Articles on Selected Topics.


Computer Science and Engineering

Contact us

Dr. Manu Basavaraju
Head of the Department
Department of CSE, NITK, Surathkal
P. O. Srinivasnagar, Mangalore - 575 025
Karnataka, India.
Hot line: +91-0824-2474053
Email: hodcse[AT]nitk[DOT]ac[DOT]in


Connect with us

We're on Social Networks. Follow us & get in touch.