Assignment 6

Due: 9:10am, at the start of class, Thu Nov 2nd, 2006

Note: Make reasonable assumptions where necessary and clearly state them. Each of the 4 problems is worth an equal number of points. Feel free to discuss problems with classmates, but the only written material that you may consult while writing your solutions are the textbook and lecture slides.

You may hand in solutions on paper at the start of class. You may also hand in homeworks electronically on one of the CADE Lab machines. Place your solution in a text file called "homework6" (if you use a different file name, our print script may not find it) and use the following command:
handin cs3810 hw6 homework6

  1. Draw the state transition table for the sequential circuit that implements the following function: Thermostat: A two-level house can independently turn on the cooling and heating for each floor. The user has already pre-specified the optimal temperature for each floor. Every two hours, three temperature sensors are examined (one on each floor and one outside). If the external temperature is within five degrees of the optimal temperature for a level, the heater/cooler for that level is turned off if the floor temperature is within one degree of the optimal temperature. If the external temperature is not within five degrees of the optimal temperature for a level, and the floor temperature is within one degree of the optimal temperature, the heating/cooling setting is not changed. Else, the appropriate heating/cooling setting is chosen to get closer to the optimal temperature. If each level chooses opposite settings based on the above rules, the heater and cooler are turned off.

    The entire state transition table can be quite complex. It is ok to use some short-cuts in your description, as long as you clearly explain them.

  2. Problems 5.8, 5.11, and 5.12 from the textbook. Figure 5.17 is provided in case you want to make your changes directly to this figure. (Note that in problem 5.11, rs and rt must be interchanged and 1 must be replaced by 4.)