The authors present a new approach for automating the timing design of interfaces between VLSI chips in microcomputer systems. The Prolog-based expert system, called TDS (for timing design system), incorporates the heuristic knowledge of the hardware designer. TDS is a rule-based system that interprets the specification sheets of VLSI chips and can synthesize, diagnose, and verify timing charts at the expert's level. This approach is unique in that the system uses a functional model based on timing specifications, not the structural information. TDS can also model other interfaces that are based on timing specifications, such as standard bus interfaces.he advent of microprocessors h a s forced many designers to work at the system level, and software is becoming increasingly important in digital system design. Over