Course : Systemverilog Verification 4 : L7.2 : Randsequence part B

[00:00:00]a rant sequence grammar composed of one normal productions and each production consists a name and list of production item so in this example the run sequence is a keyword and within the bracket i am giving the first production name so here main is a first production name so we will go through them one by one each production item consists of a name and a list of production items and the production items are again classified into terminals and known terminals a non-terminal terminal production item is one which consists of other terminal production items and other non-terminal production items and a terminal is an individual item that needs no further definition or that terminates that particular block so come back to this example as i said the main is the first production item and here it consists of many productions main first seconds are done are all these are productions now we will examine each productions so you can see the rand sequence first we had given the main production so this should be always true you should give the same production again then it will come here in the main production again three other productions are listed so first second and done so i have used a color coding for your um easy understanding and look at the first production or the name the production named as first so here you can see it's again listing two different productions named add and duck but you you might have seen an ore symbol in between so when an hour symbol is ordered it will make a random selection between the production listed so a single production can contain multiple production list separated by your symbol when when it is ordered you'll choose a random selection between them so coming back to the examples the first is saying a choice between the productions add and deck the second is a choice between pop and push and the production name done is a terminal you can see it will there is no choice or there is no further branching here it will just display a done and it is terminating here oh this is a terminal and again coming back to this production named ad again you can see it's just a terminal there is no further branching here so it's called a terminal it will just display an ad in the same way the production named dig pop push will just display some indicative words like add deck push and pop now you are going to see what this whole run sequence will result in them so the above grammar leads to one of the following possible outcomes so you can see when it is starting from here the run sequence will start with the production main the main is saying uh execute first execute second and execute done so again in the execute first production it's a choice between a hard endic so you can see assume this is a sequence generated when coming to main it will come to first and if it is selecting r so here uh the first production is just a selection between add and deck so if it is selecting art it will the ad will display an ad statement so it will be printed and again it will go back to the production second and as second is a choice between pop and push it will select one of them so if it is choosing pope it will display pope and after that again it will go back to the third one or uh it's named as done so it will come back to the done production and it will just display that so it will exit the run sequence now in the second probability or in some other runs if this might happen say it is first coming to first and if it is again using r again it will go back to second and second is using push and then it will display done so add push pop done or are pushed done are two two possibilities and again in in a different run it it can go in a different way say if after coming to the first if it is selecting deck first then it will be printing deck then the random sequence will follow like a deck pop done or deck push done now again if it is so confusing for you you can leave all the technical terms like production and all you can just follow a simple rule if there is no or choice there is no o symbol between this individual names you can say it will uh just follow the sequence and if there is an over choice either of one will be selected so you can use the plain language to generate or understand the ransom statement here