WEBVTT 00:00.150 --> 00:06.210 Let's consider the first real example where we'll be using whatever we have learned to verify. 00:07.320 --> 00:12.180 So let us have a quick discussion on the call first to include. 00:13.730 --> 00:16.590 Normally extend the library as it is done, say no. 00:16.620 --> 00:22.070 So we'll be working on it and then saying no and we'll be probably performing an automatic operation. 00:22.070 --> 00:24.170 And for that reason, we have a new standard. 00:24.980 --> 00:30.320 The standard digital that we'll be working on is a standard scholarship on this character. 00:30.320 --> 00:32.690 And for that reason, we also include this library. 00:33.440 --> 00:39.510 So we have a research signal town, which is a work on Tulpan and then the signal. 00:39.750 --> 00:45.730 OK, so here the research that we are targeting is an unsynchronized research. 00:45.800 --> 00:51.420 And for that reason you'll be finding that we have mentioned recip inside the the sensitivity list. 00:51.670 --> 00:57.760 So first we are sensing a reset to reset is high Countess CEDO else. 00:58.130 --> 01:03.850 So this is another way of specifying the writing it so you can use either a rising issue or a clock 01:03.880 --> 01:05.560 event like this to see you. 01:05.810 --> 01:11.710 OK, so when we specifically request to zero, this is basically indicate that we are working on foliage 01:12.050 --> 01:17.050 or if we mention one over here, then we basically signify that we are working on it. 01:18.230 --> 01:23.860 So you can use any of the voice that you want to specify following it. 01:23.900 --> 01:30.440 OK, so when we have a writing of a clock in that case, if Donvan is one, then we are counting down. 01:30.470 --> 01:37.520 So whatever the value we have on account would simply be going down and we'll be going, OK, this is 01:37.520 --> 01:39.350 what we have written in. 01:40.070 --> 01:44.870 OK, so now what we'll try to do is we'll try to create it as eventually, OK. 01:45.080 --> 01:48.740 So first thing that we do is we could do a simulation source. 01:49.740 --> 01:59.400 OK, and will create an axis will follow and it will be striking a chord that we finished so that you 01:59.400 --> 02:01.420 also have an idea about the second method. 02:01.440 --> 02:10.650 OK, so I did a simulation, so click next will create the file, will just name it as an account and 02:10.650 --> 02:13.140 then will head to the finish. 02:13.670 --> 02:19.860 OK, now we already know that this you do not have any input and we will just keep this empty and will 02:20.040 --> 02:20.290 talk. 02:20.430 --> 02:24.630 So this will create a default template for us where we do not have any input. 02:25.050 --> 02:31.100 Put inside the usual model or video source code, which is created by everyone. 02:31.170 --> 02:35.120 I will be finding that a few sources inside the simulation. 02:35.130 --> 02:41.100 So one is Encounter OK, which is this duty and then the newly created by this county. 02:42.120 --> 02:44.420 So here the group is committed. 02:44.460 --> 02:47.370 So we do not have any input and in fact we do not require them. 02:47.700 --> 02:53.640 So the first thing that we do is we go to the design and the test will copy all the library that we 02:53.640 --> 03:01.410 have used to there and will just be sick or you will just copy the entire thing about an entity and 03:01.410 --> 03:05.370 will just be all the libraries that we have used in the dude. 03:05.590 --> 03:07.460 OK, so this is the first step that we do. 03:08.130 --> 03:12.320 Then we will declare an equal signal for our input. 03:12.330 --> 03:15.670 And so we have and will be using the same name. 03:16.010 --> 03:19.410 So we sit down signal. 03:20.820 --> 03:25.410 The sect that we have a clock and then I sit down. 03:25.770 --> 03:29.640 OK, so this Harborside's of single word sustained during this cold logic. 03:29.940 --> 03:33.540 OK, and since these are in good, we'll just initialize them to you. 03:34.160 --> 03:39.500 OK, then we have a deal which is an output of Sise Foubert. 03:39.510 --> 03:39.800 Right. 03:39.810 --> 03:41.490 So the signal. 03:43.300 --> 03:43.900 D.L.. 03:45.150 --> 03:47.690 Standard and the psychological Lisco vector. 03:48.270 --> 03:55.410 OK, here will be specifying the size of three down to zero and this is an output we will not be initializing 03:55.410 --> 03:56.550 it to any rate. 03:56.970 --> 03:58.880 This is the second step that we do. 03:59.340 --> 04:05.870 Then we will perform a mapping that is connecting the signal that we have to the design and the test. 04:06.390 --> 04:12.300 So for this, we need to create a component or a component inside an architecture. 04:12.330 --> 04:14.700 So we will copy from the need to learn. 04:15.690 --> 04:18.740 Will go to a testament to the lighter component. 04:19.650 --> 04:25.390 OK, will peace, whatever we have, copy and we'll just confirm, right? 04:25.530 --> 04:30.990 So once you are a company now, you can connect the signal and the food that you have. 04:31.620 --> 04:36.370 So the module name is counter to the instance is legislative C1. 04:36.690 --> 04:44.760 The module that we are testing is counter, then map, OK, and then we want that reset to be connected 04:44.760 --> 04:50.250 to a reset clock, should be connected to a clock down, should be connected to a down and then they 04:50.430 --> 04:54.390 should be connected to trade and then we'll just end. 04:55.620 --> 04:56.860 By adding a semicolon. 04:57.170 --> 05:03.570 So this is an implicit way of declaring a quote here, we are primarily dependent on the magician. 05:03.670 --> 05:05.020 OK, so first we have a reset. 05:05.020 --> 05:07.490 So we have mentioned reset here clock. 05:07.560 --> 05:08.740 Then we mentioned a clock. 05:08.760 --> 05:09.840 Then we have a doughnut. 05:09.840 --> 05:17.760 And finally we have the problem is you stick around until you learn a good amount of the good, OK? 05:18.060 --> 05:27.090 So you stick around in an explicit way of declaring approach that reduces the possibility of committing 05:27.090 --> 05:27.570 a mistake. 05:28.020 --> 05:32.100 Will also stick around with an explicit B of A declaring. 05:32.430 --> 05:37.220 Now we have an idea how we can use an implicit way of declaring or specifying a book. 05:37.230 --> 05:42.450 And we also have an idea how we can use an implicit right now once we. 05:44.220 --> 05:51.080 Complete report mapping now we can start generating a stimulus, so far as you said, will use of late 05:51.090 --> 05:56.880 signal four o'clock will generate a clock signal for down also the use of foods like signal and then 05:56.880 --> 05:58.200 we'll analyze the district. 05:58.500 --> 06:05.070 So let us generate a clock process, OK, will make this sensitive two o'clock. 06:05.070 --> 06:11.870 And once we are a process which will make sense to do two o'clock, OK, or once we make our process 06:11.880 --> 06:16.490 and to do any of the variable in that case we need to use Anasta. 06:16.530 --> 06:23.580 Right, so clock will be close to not of clock and here will use an after 10 seconds. 06:23.580 --> 06:29.940 So this will signify that the total period of our clock will be twenty nine because OK, after every 06:29.940 --> 06:33.120 ten and the second will be complementing our previous value. 06:33.840 --> 06:34.620 This makes sense. 06:36.520 --> 06:38.020 So this is how you generate a clock. 06:38.050 --> 06:39.790 In fact, we can give a name to a person. 06:40.150 --> 06:42.010 So this is a clock. 06:43.690 --> 06:44.420 Process. 06:44.440 --> 06:44.650 OK. 06:44.710 --> 06:46.270 And then we can use a good. 06:47.300 --> 06:51.580 So this is how we can really tackle this completes our first task. 06:51.800 --> 06:56.480 The second task is to translate the food consternating so you can either follow. 06:57.760 --> 07:02.480 The method that we can use the process or you can also go ahead without a process. 07:02.510 --> 07:04.810 So what I'll do is I'll go ahead with the process. 07:05.430 --> 07:12.250 OK, and once we are a process will not be adding any sensitive listo that. 07:13.740 --> 07:20.210 The ones we do not have mission to do the list, the first thing that will be doing is to either leave 07:20.240 --> 07:20.670 Stephen. 07:24.210 --> 07:33.750 And here's what we'll do is we'll just give a name to this process control process, because this is 07:33.900 --> 07:37.180 used to generate the stimulus for our country. 07:37.590 --> 07:39.990 That is seven o'clock right now. 07:40.000 --> 07:41.550 We can start generating a signal. 07:41.580 --> 07:44.610 So first, let us make our set to be high. 07:46.370 --> 07:50.490 OK, and then we'll just wait for someone. 07:51.120 --> 07:53.450 This is a 15 a second, OK? 07:55.170 --> 08:01.050 So remember, whenever we have a process with our listen to the list, we need to stick to a trade, 08:01.320 --> 08:03.480 but we tend to do deals we stick to. 08:03.480 --> 08:06.140 And after this, now you have a very good understanding. 08:06.150 --> 08:06.410 Right? 08:06.840 --> 08:11.300 And then we just need to be close to see, OK? 08:11.520 --> 08:16.580 And once we make a decision, let us also make a controlled burn down to be equal to one. 08:16.980 --> 08:26.130 OK, we'll wait in this state for that is the two hundred nanosecond and then we'll do the countdown 08:26.430 --> 08:29.510 control so that can start counting in a downward direction. 08:29.760 --> 08:30.990 So wait for. 08:31.990 --> 08:39.220 Fifteen and a second and let it just random, violent, etc., and see whether the suicide rate. 08:43.280 --> 08:47.540 So these are the random stimuli that we in right now. 08:48.840 --> 08:56.610 What we'll do is we'll just see Laku and observe the changes in antipollution, so we'll be finding 08:56.610 --> 08:59.950 that Count TV should become our top model, OK? 08:59.970 --> 09:04.860 And that can be very fine balance having a TV tip that you can see just neighboring to the name of our 09:04.900 --> 09:05.130 place. 09:06.060 --> 09:12.540 And we'll also be observing that green indication and then we've indicating that we correctly follow 09:12.540 --> 09:13.500 the syntax. 09:13.620 --> 09:19.370 OK, now we'll proceed with the simulation and a former and behavioral simulation. 09:19.380 --> 09:25.480 So we'll just see all the changes and we'll see whether we are able to correctly see of the. 09:31.680 --> 09:37.800 OK, now what we'll do is we'll click on all first, we'll just bring the form we were out of, we will 09:37.800 --> 09:43.230 click on it, OK, now we'll be noticing that when downtown is high. 09:43.260 --> 09:45.540 So we are going down from zero. 09:45.600 --> 09:50.600 We are going F, then EDC B nine eight seven. 09:50.640 --> 09:54.330 OK, so here, if you just choose to be on site. 09:55.330 --> 09:56.260 You'll be noticing. 09:57.440 --> 10:01.630 When the downturn is high, we are going down and similarly situated. 10:01.910 --> 10:02.230 OK. 10:02.780 --> 10:08.710 And then when downturn is low, OK, we are basically going up. 10:08.960 --> 10:09.310 Right. 10:09.560 --> 10:13.840 And then once we have a reset, we basically reaches back to a C.. 10:14.060 --> 10:22.670 OK, so this is a huge anteaters switch and can verify, simply say, OK, we'll consider how we verify 10:22.670 --> 10:30.740 and IP so that you have an overall idea how we can define our vision or an actual fights and how we 10:30.740 --> 10:32.210 can verify the IP.