An approach to knowledge-based ASIC specification

An approach is described for knowledge-based acquisition and checking of system-specification data using frames and rules. Beside the functional description, electrical, timing, environmental, and test-oriented specification data is captured. The representation of a complete specification in a frame knowledge base provides support and control of essential design and verification steps