USN
Advanced Digital Logic Verification
Time: 3 Hours Max. Marks: 100
Instructions: 1. Answer any one full question from each of the units.
2. Assume suitable missing data, if any.
3. Draw neat diagrams, wherever necessary
UNIT - I L CO PO M
1 a. Explain directed testing and constrained random testing highlighting its advantages and
disadvantages
( 2 ) ( 1 ) ( 1 ) (10)
b. Explain different types of verification , also elaborate various functional verification approaches .
( 2 ) ( 1 ) ( 1 ) (10)
OR
2 a. Briefly explain code coverage and functional coverage.
( 2 ) ( 1 ) ( 1 ) (10)
b. Write a brief summary on concepts of verification in system verilog.
( 2 ) ( 1 ) ( 1 ) (10)
UNIT – II L CO PO M
3 a. Explain the following data types in system verilog with an example
1) Logic data type 2) 2-State data type
( 3 ) ( 2 ) ( 1 ) (10)
b. Write a system verilog code to declare two fixed size arrays and perform array manipulation using
i)for and foreach ii)copy and compare operation . Write the expected output.
( 4 ) ( 2 ) ( 3 ) (10)
OR
4 a. Write the syntax of program blocks in system verilog and explain.
( 3 ) ( 2 ) ( 1 ) (10)
b. Identify the differences between packed and unpacked arrays with an example
( 4 ) ( 2 ) ( 1 ) (10)
UNIT - III L CO PO M
5 a. Write the SystemVerilog code to explain usage of constraints in randomization.
( 4 ) ( 3 ) ( 3 ) (10)
b. Explain deep copy concept in system verilog with an example
( 4 ) ( 3 ) ( 1 ) (10)
OR
6 a. Develop a system verilog code to illustrate the concept of inheritance in system verilog
( 4 ) ( 3 ) ( 3 ) (10)
b. Write a short note on following randomization methods with an example
1) randomize() 2)pre_randomize() and post_randomize().
(3) (3) (1) (10)
UNIT - IV L CO PO M
7 a. Explain coverage in functional verification by defining the coverage model.
(2) (4) (1) (10)
b. Explain briefly the covergroup of functional coverage in verification
(2) (4) (1) (10)
OR
8 a. Identify the differences between concurrent and immediate assertions with examples.
Note: L (Level), CO (Course Outcome), PO (Programme Outcome), M (Marks)
Advanced Digital Logic Verification
Time: 3 Hours Max. Marks: 100
Instructions: 1. Answer any one full question from each of the units.
2. Assume suitable missing data, if any.
3. Draw neat diagrams, wherever necessary
UNIT - I L CO PO M
1 a. Explain directed testing and constrained random testing highlighting its advantages and
disadvantages
( 2 ) ( 1 ) ( 1 ) (10)
b. Explain different types of verification , also elaborate various functional verification approaches .
( 2 ) ( 1 ) ( 1 ) (10)
OR
2 a. Briefly explain code coverage and functional coverage.
( 2 ) ( 1 ) ( 1 ) (10)
b. Write a brief summary on concepts of verification in system verilog.
( 2 ) ( 1 ) ( 1 ) (10)
UNIT – II L CO PO M
3 a. Explain the following data types in system verilog with an example
1) Logic data type 2) 2-State data type
( 3 ) ( 2 ) ( 1 ) (10)
b. Write a system verilog code to declare two fixed size arrays and perform array manipulation using
i)for and foreach ii)copy and compare operation . Write the expected output.
( 4 ) ( 2 ) ( 3 ) (10)
OR
4 a. Write the syntax of program blocks in system verilog and explain.
( 3 ) ( 2 ) ( 1 ) (10)
b. Identify the differences between packed and unpacked arrays with an example
( 4 ) ( 2 ) ( 1 ) (10)
UNIT - III L CO PO M
5 a. Write the SystemVerilog code to explain usage of constraints in randomization.
( 4 ) ( 3 ) ( 3 ) (10)
b. Explain deep copy concept in system verilog with an example
( 4 ) ( 3 ) ( 1 ) (10)
OR
6 a. Develop a system verilog code to illustrate the concept of inheritance in system verilog
( 4 ) ( 3 ) ( 3 ) (10)
b. Write a short note on following randomization methods with an example
1) randomize() 2)pre_randomize() and post_randomize().
(3) (3) (1) (10)
UNIT - IV L CO PO M
7 a. Explain coverage in functional verification by defining the coverage model.
(2) (4) (1) (10)
b. Explain briefly the covergroup of functional coverage in verification
(2) (4) (1) (10)
OR
8 a. Identify the differences between concurrent and immediate assertions with examples.
Note: L (Level), CO (Course Outcome), PO (Programme Outcome), M (Marks)
