Indicative contents

• Operating system Concepts.
• Introduction to Linux O.S
• Basic Commands in Linux.
• Creating Directories.
• File Manipulation Commands
• Introduction to Filter Commands
• Pattern Matching.
• Shell Scripting in Linux O.S
• Usage of for, while, until, case and if loops.
• Introduction to scripting Languages.
• Introduction to Perl.
• Basic Structure of a Perl script.
• Perl data types, Operators, Conditions and loops and Regular Expressions.
• Introduction to Tcl.
• Tcl data types, Conditions and loops ,Basic Commands.
• Basic Structure of a Tcl script.
• Introduction to Verification.
• Verification Methodologies and techniques.
• Challenges in Verification.
• Different Coverage Metrics.
• Verification Tools.
• Verification Plans.
• Introduction to System Verilog.
• Introduction to coverage driven Verification Methodology.
• Data types, Arrays and queues.
• Data Declarations ,Operators and Expressions.
• New system verilog Statements, Tasks and Functions.
• OOP Methodology Overview.
• Classes , Properties and Methods
• Constructors, Data hiding.
• Encapsulation, Polymorphism and Inheritance.
• Tasks and Functions – Functional Coverage.
   

Module Resources

• Essential reading
  1. Course notes
• Recommended Reading
  1. Kernighan , The Unix programming environment
  2. Sumitaba Das, Introduction to Unix and Linux
  3. Randall L.Schwartz and Tom Phoenix, Learning Perl, O’Reilly.
  4. John Ousterhout, Introduction to TCL/TK.
  5. System Verilog 3.1a LRM
  6. Janick Bergeron, Functional verification of HDL Models