Supplements mentioned in Katz (the course text):

Addison-Wesley maintains a list of supplements mentioned in Katz (Contemporary Logic Design), including Logicworks lab manual, Logicworks circuits from the text, and the Berkeley Octtools design synthesis tools.