18-340: Lecture 12 Clarification

[Taylor Womack]

Hi,

On slide 12-24, it says that "Removing unstable 0-sets prevents Thm. 2 from being satisfied." Shouldn't it say "unstable 1-sets" instead?

Thanks!

-Taylor

[Taylor Womack]

Also, for problem 2 of homework 6, it says to "identify all functional hazards and their type." What does it mean by "type"? It seems to me that something is either a functional hazard or its not, so I'm not sure what it means by "type."

Thanks!

-Taylor

[Shawn Blanton]

Taylor,

Yes, you are right!

sb