Requirements Specification and Analysis of Digital Systems Using FARHDL

Victor R. L. SHEN; Feng-Ho KUO; Feipei LAI

Requirements Specification and Analysis of Digital Systems Using FARHDL

Victor R. L. SHEN, Feng-Ho KUO, Feipei LAI

Full Text Views

0

Share
Cite this

Summary :

As expert system technology gains wider acceptance in digital system design, the need to build and maintain a large scale knowledge base will assume greater importance. However, 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 Description 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 developed to design, implement, and validate the digital hardware systems. Furthermore, behavioral properties, anomaly properties, structural properties, and timing properties are applied to analyze the requirements specification. The purposes of those properties are used to detect explicit/implicit incorrect specification clauses and to capture some desired requirements, such as completeness and consistency. Finally, the analysis results can be a useful tool for finding obscure problems in tricky digital system designs and can also aid in the development of formal specifications.

Publication: IEICE TRANSACTIONS on Information Vol.E81-D No.3 pp.317-328

Publication Date: 1998/03/25

Publicized

Online ISSN

DOI

Type of Manuscript

Category: Artificial Intelligence and Cognitive Science

Cite this

Copy

Victor R. L. SHEN, Feng-Ho KUO, Feipei LAI, "Requirements Specification and Analysis of Digital Systems Using FARHDL" in IEICE TRANSACTIONS on Information, vol. E81-D, no. 3, pp. 317-328, March 1998, doi: .
Abstract: As expert system technology gains wider acceptance in digital system design, the need to build and maintain a large scale knowledge base will assume greater importance. However, 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 Description 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 developed to design, implement, and validate the digital hardware systems. Furthermore, behavioral properties, anomaly properties, structural properties, and timing properties are applied to analyze the requirements specification. The purposes of those properties are used to detect explicit/implicit incorrect specification clauses and to capture some desired requirements, such as completeness and consistency. Finally, the analysis results can be a useful tool for finding obscure problems in tricky digital system designs and can also aid in the development of formal specifications.
URL: https://globals.ieice.org/en_transactions/information/10.1587/e81-d_3_317/_p

Copy

@ARTICLE{e81-d_3_317,
author={Victor R. L. SHEN, Feng-Ho KUO, Feipei LAI, },
journal={IEICE TRANSACTIONS on Information},
title={Requirements Specification and Analysis of Digital Systems Using FARHDL},
year={1998},
volume={E81-D},
number={3},
pages={317-328},
abstract={As expert system technology gains wider acceptance in digital system design, the need to build and maintain a large scale knowledge base will assume greater importance. However, 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 Description 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 developed to design, implement, and validate the digital hardware systems. Furthermore, behavioral properties, anomaly properties, structural properties, and timing properties are applied to analyze the requirements specification. The purposes of those properties are used to detect explicit/implicit incorrect specification clauses and to capture some desired requirements, such as completeness and consistency. Finally, the analysis results can be a useful tool for finding obscure problems in tricky digital system designs and can also aid in the development of formal specifications.},
keywords={},
doi={},
ISSN={},
month={March},}

Copy

TY - JOUR
TI - Requirements Specification and Analysis of Digital Systems Using FARHDL
T2 - IEICE TRANSACTIONS on Information
SP - 317
EP - 328
AU - Victor R. L. SHEN
AU - Feng-Ho KUO
AU - Feipei LAI
PY - 1998
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E81-D
IS - 3
JA - IEICE TRANSACTIONS on Information
Y1 - March 1998
AB - As expert system technology gains wider acceptance in digital system design, the need to build and maintain a large scale knowledge base will assume greater importance. However, 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 Description 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 developed to design, implement, and validate the digital hardware systems. Furthermore, behavioral properties, anomaly properties, structural properties, and timing properties are applied to analyze the requirements specification. The purposes of those properties are used to detect explicit/implicit incorrect specification clauses and to capture some desired requirements, such as completeness and consistency. Finally, the analysis results can be a useful tool for finding obscure problems in tricky digital system designs and can also aid in the development of formal specifications.
ER -