One view of what constitutes a testable circuit design is that sufficient circuit knowledge exists to allow an effective test program to be generated. HITEST is a test-generation system based on the definition, capture and use of knowledge items about the elements and overall behaviour of the circuit. The paper describes the general form of the knowledge items and indicates how the system makes use of and is constrained by the knowledge.