An approach to knowledge-based ASIC specification
Klaus Dieter Mueller-Glaser, J. Bortolazzi · 1989
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