WEBVTT 00:00.150 --> 00:06.720 OK, so let us start implementing a belief system that you can guess actually from the transition, 00:07.100 --> 00:07.230 right? 00:07.350 --> 00:11.700 So you have this transition and we have specified input and output. 00:11.700 --> 00:15.100 So we know that that depends on an input as well and the state. 00:15.390 --> 00:16.910 So this is a M.F. is OK. 00:17.370 --> 00:22.530 So for us, the input requires resecting, which is added. 00:22.790 --> 00:25.730 The synchronising signal will be a signal, OK? 00:25.770 --> 00:31.560 And we require the rate, which is an input, and then we have audio. 00:31.900 --> 00:35.360 So these are the series of being that we required for our first rate. 00:35.730 --> 00:44.340 The first step is to declare an enumerated tool for a state we will use user defined that is for C2 00:45.600 --> 00:51.040 will be assuming certain zero as soon as you add a value of one. 00:51.140 --> 00:59.610 OK, but working within a bit difficult will represent the state with their name of how we do that is 00:59.610 --> 01:02.120 stip state is OK. 01:02.130 --> 01:03.560 So this is how you proceed. 01:03.810 --> 01:06.850 And then you mentioned the detail that you want. 01:06.870 --> 01:09.450 So we want that inside this data. 01:09.450 --> 01:09.720 Right. 01:09.720 --> 01:11.610 There should be two elements. 01:11.610 --> 01:13.110 That is a to a.. 01:13.350 --> 01:13.760 Right. 01:13.860 --> 01:16.230 And then we'll just declare signal. 01:17.820 --> 01:24.990 To be of this state, so it should be of state right now, try to understand this and we'll just be 01:24.990 --> 01:31.560 initializing this to state as soon as we have declared a new leader, which is a state that consists 01:31.560 --> 01:34.730 of element, one is Aniceto, other one is NSW. 01:34.830 --> 01:35.130 Right. 01:35.460 --> 01:40.230 And no state that becomes a valid given inside our state. 01:40.230 --> 01:44.010 So signal we declare a state variable of this state. 01:44.310 --> 01:46.540 So no state can take to you. 01:46.590 --> 01:48.280 That is a severe illness, OK. 01:48.510 --> 01:52.710 Ultimately what will happen is this as NSW will be map to an integer. 01:54.580 --> 02:01.150 So this will ultimately happen, but then walking around with a silvanus when is bit easier compared 02:01.150 --> 02:06.790 to working with you when we first target a three process meterology. 02:06.910 --> 02:12.550 OK, so for three classes meterology, we know that there are three independent process and working 02:12.550 --> 02:18.440 for implementation of a research project, a nexted logic and logic. 02:18.550 --> 02:22.390 Remember that we set logic is a sequential process. 02:22.420 --> 02:28.620 OK, so this is now a first rule that will be following that reset logic. 02:29.260 --> 02:32.770 OK, will be a sequential process. 02:34.620 --> 02:37.530 So this will be the process that is depending on the clock. 02:38.040 --> 02:38.490 OK. 02:40.470 --> 02:42.200 And the next. 02:43.950 --> 02:46.740 Logic and logic. 02:47.630 --> 02:52.310 Are predominantly a combination, of course. 02:53.270 --> 02:56.980 OK, so this is the first two that we are imposing on us. 02:57.200 --> 02:58.610 When will we start writing? 02:58.610 --> 03:04.400 And if so, as you get familiar with all the different metallurgic, you by default will recognize this. 03:04.700 --> 03:07.430 OK, so we'll start with the psychologic first. 03:10.430 --> 03:12.400 And will use a process. 03:12.450 --> 03:17.640 OK, now, since this is a sequential process, will make it sensitive to Kulluk, right? 03:17.960 --> 03:18.740 So if. 03:19.940 --> 03:24.440 And then let us assume that the tape is a synchronous reset. 03:24.800 --> 03:28.610 OK, so we'll first check whether we have a rising age of a clock. 03:29.880 --> 03:34.020 OK, then we will check if we Sirtis. 03:35.550 --> 03:44.490 OK, so three sec is one in that case, we know that if researchers were independent of the study that 03:44.490 --> 03:49.560 we are currently present, we will just make state to be equal to. 03:50.630 --> 04:01.430 Is he right else there will be a seat which is given by the NextG logic and then state will simply follow 04:01.460 --> 04:02.540 the next. 04:02.790 --> 04:08.960 OK, so we require one more valuable, which will hold the value of a state that is being given by the 04:08.960 --> 04:10.070 next state logic. 04:10.100 --> 04:16.610 OK, so for deciding what should be the next state, we have an independent process or an independent 04:16.610 --> 04:19.300 system that is handled or that is deemed as next. 04:19.400 --> 04:26.840 OK, so let's just go ahead and add one more variable of the state, which is next. 04:26.870 --> 04:33.000 OK, so next it will be given by the next logical process. 04:33.020 --> 04:36.890 OK, and state will simply follow that if we is. 04:38.500 --> 04:47.890 Right, so we have started and if so, we'll just live and we'll also and if for racing between the 04:47.890 --> 04:50.370 processes and the logic, we have a big effect. 04:50.570 --> 04:54.220 And finally, we have started a process that will just end our process. 04:54.230 --> 04:56.080 So this completes our first process. 04:56.530 --> 05:00.110 Remember that there is psychologic process is a sequential process. 05:00.140 --> 05:03.010 OK, so we make up our assistance to two o'clock. 05:03.430 --> 05:09.610 Then we first check whether we have a desire to enter or whether we have a positive or a negative. 05:11.180 --> 05:14.930 So if rising age of a clock, if that is true, then we are checking every citizen. 05:15.050 --> 05:22.350 So if it is independent of the current state will simply be making our state machine point to states, 05:22.900 --> 05:27.140 OK, or else states will follow the next. 05:27.290 --> 05:33.950 OK, so next week will hold the value which is generated by the next next geologic process they know 05:34.200 --> 05:35.050 will proceed. 05:36.410 --> 05:36.830 That. 05:37.670 --> 05:44.150 The next logical, so we'll just need process that next logic. 05:47.380 --> 05:54.670 Now, if you can see the operation, you can easily guess that the next it depends on the state as well 05:54.670 --> 05:59.510 as in whatever the we have an input as well as what is the currency. 05:59.950 --> 06:07.410 So our process must be sensitive to the OK, which is an input as well as the state that we are currently 06:07.780 --> 06:10.870 OK, so that we can guess from here also. 06:10.900 --> 06:13.430 So how do we decide the state next? 06:13.450 --> 06:20.680 It we decide the next it by considering the state we are presented that is this and what is the value 06:20.680 --> 06:21.840 of an input that we have. 06:21.850 --> 06:22.150 Right. 06:22.270 --> 06:30.280 So this suggests that the next project should be dependent on what the current state as well as the. 06:31.410 --> 06:38.190 In again, current state has been ruled by the state variable rate, so for that reason will be making 06:38.190 --> 06:41.130 that process sensitive to Dean as well as to track. 06:42.570 --> 06:49.440 Now, how will prosthetists so we have started with the process, so let it just first and so later 06:49.440 --> 06:55.600 on we will be forgetting about that, OK, and then will simply be working on straight. 06:58.830 --> 07:08.670 So if the street value system, which is our currency, so if that is the case and if Dean is right, 07:08.680 --> 07:10.670 so in that case, we move us. 07:11.220 --> 07:12.000 So if. 07:13.270 --> 07:23.230 Dean is one, then we will be jumping or will be making our next state right, so next state to be equal 07:23.350 --> 07:23.620 to. 07:25.410 --> 07:28.880 Next, it will be Quest Westward Ends. 07:29.130 --> 07:30.490 OK, next. 07:31.990 --> 07:35.640 Will be construed as you guys will be close to see. 07:35.730 --> 07:40.810 OK, so our current state is as if we apply the next one. 07:40.840 --> 07:44.780 Then next year it will be someone else will be Steeg industry. 07:46.180 --> 07:50.320 So this should be within his rights that this this makes sense. 07:50.800 --> 07:56.280 So when we have a hefting is when the next treaty, this one ends next, it will be Essid. 07:58.070 --> 08:01.280 Let us assume that we are in well. 08:02.480 --> 08:04.240 OK, so when we are innocent. 08:05.460 --> 08:10.260 If we get Dena's one, then we move on to a zero, Elvie Stephen. 08:11.710 --> 08:19.910 S Save Dean is equal to one, then the next. 08:21.590 --> 08:23.410 OK, so when we are in innocent. 08:24.350 --> 08:30.440 If Dean is one, then next it should be zero ls next to should be close to as they will just try it 08:30.440 --> 08:31.780 out and as usual. 08:33.420 --> 08:33.780 OK. 08:33.790 --> 08:39.260 And do not forget to follow suit when we have another, OK, what will do is next. 08:39.280 --> 08:44.310 It will simply be equals to will be simply equals to SC, right. 08:44.520 --> 08:47.780 So this completes our next logic. 08:47.820 --> 08:50.040 OK, so what we did is. 08:51.440 --> 08:57.770 We make our process sensitive to both state as well as deed, because if you just observe the behavior 08:57.770 --> 08:58.590 of a street diagram. 08:58.610 --> 09:04.010 So if we are in an zero, then if we have one, then only we moved with it. 09:04.040 --> 09:07.320 If we are an issue and we have zero, then we will see then. 09:08.000 --> 09:13.190 So our next depends on the currency that we are in as well as an input. 09:13.220 --> 09:15.990 So we have made our process sensitive to the Nancy. 09:16.370 --> 09:18.950 OK, then we working on and current state. 09:18.950 --> 09:21.800 So Golden State is who will buy the variable state. 09:21.980 --> 09:23.180 So when it is a Seydou. 09:23.660 --> 09:23.950 Right. 09:24.200 --> 09:31.110 And if Dena's won in that case, we want Westhaven as we move on to Essid again. 09:31.160 --> 09:33.600 That can be understood from this also. 09:33.620 --> 09:39.430 So when we are in Seattle we get when we move to S1, if we have zero we jump back to ASU. 09:39.800 --> 09:46.490 If we are innocent, if we get one, we jump back to everyone else will be simply staying at Dennis. 09:46.760 --> 09:47.040 Right. 09:47.300 --> 09:51.230 And then others that is a default state will be the first. 09:51.410 --> 09:51.640 Right. 09:52.580 --> 09:54.680 So this completes the second process. 09:54.920 --> 09:57.230 The third process is output. 09:59.560 --> 10:02.680 Or Oregon also named it as an owl particularly. 10:03.080 --> 10:06.230 OK, now here, your output for milling machine. 10:08.140 --> 10:15.040 So if you can observe the diagram again, so how you decide to visit, so it depends on which state 10:15.040 --> 10:18.370 you are in as well as what is the value of an input that we have. 10:18.370 --> 10:18.610 Right. 10:18.640 --> 10:23.770 So, again, we need to make our process sensitive to Bodeen as well as Steet. 10:24.040 --> 10:24.430 Right. 10:26.020 --> 10:35.020 Begin and then we'll just at end process, so here know, what we can do is we again work on the current 10:35.020 --> 10:35.350 state. 10:35.360 --> 10:42.550 So if we like this state is OK if Dean is one. 10:43.270 --> 10:49.330 OK, so if Dean is one, then in that case, what will happen is if we are in this. 10:50.560 --> 10:53.440 Right, so let's just start over here. 10:53.710 --> 11:01.180 So when we are in a civil right, so when we are in Israel, if there is one, then output is zero. 11:02.370 --> 11:05.220 OK, for how could we have a very big deal? 11:05.250 --> 11:09.570 So they should be close to zero else is basically mean. 11:09.570 --> 11:14.970 We are in Israel and we get an input for that is also our occupancy rate. 11:14.980 --> 11:18.310 So deal should be close to see. 11:19.410 --> 11:21.160 OK, we'll just dive. 11:22.520 --> 11:26.070 OK, then, when we are innocent. 11:27.470 --> 11:30.740 OK, in that case, if you can guess. 11:32.380 --> 11:35.770 If we have one in that case, I'll become someone, Racheli. 11:36.990 --> 11:44.990 This is one they are out will be close to one night. 11:45.970 --> 11:46.750 Ms. 11:49.000 --> 11:53.680 His deal will be simply equal to the seat. 11:54.040 --> 11:58.750 And this can be guessed from the so when we are in Esswein, if we have a zero output this. 11:59.050 --> 11:59.380 Right. 11:59.590 --> 12:00.940 So this computer. 12:02.190 --> 12:03.030 Second. 12:04.200 --> 12:07.140 Declaration of second, OK, when we have another. 12:09.570 --> 12:12.510 Will simply make it out to be close to right. 12:13.000 --> 12:17.510 So when we have another deal to be you. 12:18.620 --> 12:25.220 OK, so this completes our entire thing, for example, here we require that in case. 12:26.340 --> 12:29.250 So if you just observe whatever we have written so far. 12:29.460 --> 12:29.610 OK. 12:29.640 --> 12:33.390 So there are three processes and the first one is a psychological process. 12:33.780 --> 12:36.120 We have a nexted logic process. 12:36.120 --> 12:37.950 We have a output process. 12:37.950 --> 12:43.790 Hence the this kind of an implementation will be occurring as entry process methodology. 12:43.830 --> 12:50.510 OK, here the reset logic is a sequential process, whereas Resta process are a combination of process. 12:50.520 --> 12:50.760 Right. 12:51.030 --> 12:55.290 So if you consider the recip logic, your output will be sensitive to a clock. 12:55.300 --> 12:58.290 So hence we have meet our sensitivity. 12:59.450 --> 13:00.450 Awful process two. 13:00.780 --> 13:04.620 So if you are writing each and every citizen independent of your current state. 13:06.460 --> 13:14.290 The state will always be a NATO ls state will simply following next, so the next state has been given 13:14.290 --> 13:15.940 by the next logical process. 13:15.970 --> 13:16.220 OK. 13:16.240 --> 13:20.390 And from the diagram itself, you can guess that the process is going to do to the end. 13:21.030 --> 13:24.510 And then we just follow the diagram that we have right now. 13:24.520 --> 13:28.510 We'll just move ahead inside and we will and we'll try to see why. 13:28.840 --> 13:35.080 So once we see the hole and if we have not committed any syntax error, OK, we will be finding that 13:35.080 --> 13:37.450 our module automatically becomes a top model. 13:37.480 --> 13:46.680 OK, now will simply supply a clock and will make you OK and then we'll keep our DB continuously high. 13:46.730 --> 13:48.640 So let us assume what we get right. 13:48.910 --> 13:52.270 So we run simulation and behavioral simulation. 13:57.240 --> 13:58.800 OK, so let me just force. 14:00.360 --> 14:10.560 One to zero, OK, and then try to first reset our system, so will first force system to reset and 14:10.560 --> 14:13.710 we want to see the value of speed that we are getting. 14:13.710 --> 14:16.080 So we'll be finding we are still in a mess. 14:16.350 --> 14:19.850 So we do not see any change on two Aniceto. 14:19.860 --> 14:25.680 In fact, if we just try to trigger and then also still will be in the same state. 14:26.620 --> 14:31.820 So we'll be finding, even though the next Tuesday changing with the current stewarded all this you 14:31.970 --> 14:40.620 right now, what we'll do is we'll try to remove the reset so focused on zero and then we'll try to 14:40.620 --> 14:42.460 execute Akiane. 14:42.890 --> 14:43.440 Correct. 14:43.740 --> 14:46.640 So now you'll be noticing something interesting. 14:46.650 --> 14:46.920 Right. 14:46.950 --> 14:53.320 So as expected, what we are getting on in the open is the square. 14:54.180 --> 14:59.580 This is what we are expecting and will also be able to see those fluctuations. 14:59.580 --> 14:59.810 Right. 14:59.850 --> 15:05.790 So, for example, it'll be fine if we go from here into a Pseudolus, into a serious Ventris and so 15:05.790 --> 15:06.500 on and so forth. 15:06.510 --> 15:06.710 Right. 15:06.960 --> 15:15.150 So our FSM is working fine and this is how it becomes very easy once you start understanding the fundamental 15:15.150 --> 15:19.950 concept to implement deficit right now, what we'll do is we'll modify the skill sets that we are able 15:19.950 --> 15:22.080 to get to process metallurgy and.