Requirements Specification and Analysis of Digital Systems Using FARHDL

摘要

As expert system technology gains wider accep- tance in digital system design, the need to build and maintain a large scale knowledge base will assume greater importance. How- ever, how to build a correct and efficient rule base is even a hard part in the knowledge-based system development. In this paper, we develop FARHDL (Frame-And-Rule-based Hardware De- scription language) to form a knowledge base. The FARHDL is simple but powerful to specify the hardware requirements and can be directly simulated by PROLOG. Through the knowledge base transformed from FARHDL, a formal method can be de- veloped to design, implement, and validate the digital hardware systems.