| Lab No. |
Lab Title |
Description |
| Lab1 |
Immediate Assertions |
You will make and simulate an immediate assertion. |
| Lab2 |
Concurrent Assertions |
You will make and simulate a concurrent assertion. |
| Lab3 |
Scheduling |
You will simulate a small design observing the scheduling. |
| Lab4 |
A Sequence Referencing A Sequence |
You will make a simulate a design and test file that
contains a sequence calling a sequence. |
| Lab5 |
Using Formal Argument With A Sequence |
You will call a sequence using formal arguments. |
| Lab6 |
Concatenation |
You will concatenate two sequences together. |
| Lab7 |
Clock Range |
You will use a clock range in a sequence. |
| Lab8 |
Unconditionally Extending A Sequence |
You will extend a sequence unconditionally. |
| Lab9 |
Consecutive Repeats |
You will use the consecutive repeat operator. |
| Lab10 |
Infinite Repeats |
You will use the infinite repeat language construct. |
| Lab11 |
Goto Repeat Operator |
You will use the goto repeat operator. |
| Lab12 |
Anding |
You will use the and operation. |
| Lab13 |
Intersecting |
You will use the intersect operation. |
| Lab14 |
Oring |
You will use the or operation. |
| Lab15 |
Throughout |
You will use the throughout operation. |
| Lab16 |
Within |
You will use the within operation. |
| Lab17 |
Severity-$rose |
You will use the $rose Value Change Function. |
| Lab18 |
Severity-$fell |
You will use the $fell Value Change Function. |
| Lab19 |
Severity-$stable |
You will use the $stable Value Change Function. |
| Lab20 |
Ended |
You will use the endpoint of a sequence. |
| Lab21 |
Triggered |
You will use a persistent trigger (.triggered). |
| Lab22 |
Using Formal Arguments With A Property |
You will call a property using formal arguments. |
| Lab23 |
Overlapping Implications |
You will use Overlapping Implications |
| Lab24 |
Non-Overlapping Implications |
You will Non-Overlapping Implications. |
| Lab25 |
Inverting A Property |
You will invert a property. |
| Lab26 |
$past |
You will use the $past function. |
| Lab27 |
disable iff |
You will disable a sequence |
| Lab28 |
Action Blocks |
You will use a simple action block. |
| Lab29 |
Severity-Fatal |
You will use the severity $fatal construct. |
| Lab30 |
Severity-Error |
You will use the severity $error construct. |
| Lab31 |
Severity-Warning |
You will use the severity $warning construct. |
| Lab32 |
Severity-Info |
You will use the severity $info construct. |
| Lab33 |
Cover |
You will use the cover construct. |
