| 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. |
| Lab34 |
Mailbox-Parameterized- New- Put- Get |
You will create a parameterized mailbox and put mail in it. |
| Lab35 |
Mailbox-Parameterized-Bounded |
You will create a bounded parameterized mailbox |
| Lab37 |
Mailbox- Try Put |
You will use the try
put mailbox method |
| Lab38 |
Mailbox- Try Get |
You will use the try get
mailbox method |
| Lab39 |
Mailbox- Peek |
You will use the peek
mailbox method |
| Lab40 |
Mailbox- Try Peek |
You will use the try peek
mailbox method |
| Lab41 |
Semaphore-New- Put- Get |
You will create a semaphore, put and get
keys |
| Lab44 |
Semaphore- Try Get |
You will use the try get semaphore
method |
| Lab45 |
Classes- Basic |
You will build and
simulate a testfile that contains a class |
| Lab46 |
Inheritance |
You will build a testfile that contains two
classes.
A parent class and a subclass that inherits the
parents methods |
| Lab47 |
Encapsulation- Local |
You will create a class that contains a local
tag |
| Lab48 |
Encapsulation- Protected |
You will create a class
that contains a protected tag |
| Lab49 |
Queues- Create/Add Elements |
You will create a queue and add elements to
it |
| Lab50 |
Queues Methods .size |
You will use the size queue method |
| Lab51 |
Queues Methods .insert |
You will use the insert queue
method |
| Lab52 |
Queues Methods .delete |
You will use the delete queue
method |
| Lab53 |
Queues Methods .pushfront |
You will use the pushfront
queue method |
| Lab54 |
Queues Methods .pushback |
You will use the
pushback queue method |
| Lab55 |
Queues Methods .popfront |
You will use the popfront
queue method |
| Lab56 |
Queues Methods .popback |
You will use the popback
queue method |
