Signal value assignment, synchronous

Although only one synchronous section is shown here, any number of them could be described in a single process. In this example, the signal S is assigned a value inside the synchronous section whereas A and C are assigned values outside in the combinational part. The compiler will there-... 

Assign the new value of ihe counter stored in the variable back to the signal. The signal therefore infers sequential logic as it is assigned inside a synchronous section. 

The architecture BAD I assigns the flip flops output values, Q and QBAR, inside the process. The rules for inferring flip flops state that any signal assigned inside a synchronous section becomes the output of a flip flop. This description therefore infers two flip flops as shown in Figure 5.32. 

The architecture BADJK, uses two signals to store the present states of the flip flops inverted and non-inverted outputs, SBAR and S. The Case statement inside the S3mchronous section is used to determine the new state of S and assign its value. The value of S is then passed on to SBAR at the end of the Case statement. Unfortunately, the new state is not registered on the flip flop inferred for S until the end of the process so the SBAR will be assigned the old state of S. If this is not bad enough, because SBAR is assigned inside the synchronous section, it also infers another flip flop ... 

---