A consistency verification method for design models in design environments

Hiroshi Arai, Yoshiaki Fukazawa

    Research output: Contribution to journalArticle

    Abstract

    This paper considers the set of tools built in the design environment for digital hardware, and proposes a method to verify the consistency between the set of tools and the data model. In the design support environment which integrates the set of tools with different data models in general, the interchangeability of the design data is maintained through the common data format. In practice, however, semantic gaps are often produced between the data models. In the proposed method, the data models of the tools and the data models to be presented by the whole environment to the hardware designer are formally defined using the semantic network. The difference between the data models is extracted by operations between the semantic networks. The method was applied to the design support environment based mostly on the netlist information, and the inconsistencies at the semantic level were detected, which has been difficult at the syntax level.

    Original languageEnglish
    Pages (from-to)98-106
    Number of pages9
    JournalSystems and Computers in Japan
    Volume27
    Issue number10
    Publication statusPublished - 1996 Sep

    Fingerprint

    Data Model
    Data structures
    Semantics
    Semantic Network
    Hardware
    Model
    Inconsistency
    Design
    Integrate
    Verify

    Keywords

    • Consistency verification
    • Data interchangeability
    • Design support environment

    ASJC Scopus subject areas

    • Computational Theory and Mathematics
    • Hardware and Architecture
    • Information Systems
    • Theoretical Computer Science

    Cite this

    A consistency verification method for design models in design environments. / Arai, Hiroshi; Fukazawa, Yoshiaki.

    In: Systems and Computers in Japan, Vol. 27, No. 10, 09.1996, p. 98-106.

    Research output: Contribution to journalArticle

    @article{fe24c0dcf6784a59be8f4ed5cf97d7a3,
    title = "A consistency verification method for design models in design environments",
    abstract = "This paper considers the set of tools built in the design environment for digital hardware, and proposes a method to verify the consistency between the set of tools and the data model. In the design support environment which integrates the set of tools with different data models in general, the interchangeability of the design data is maintained through the common data format. In practice, however, semantic gaps are often produced between the data models. In the proposed method, the data models of the tools and the data models to be presented by the whole environment to the hardware designer are formally defined using the semantic network. The difference between the data models is extracted by operations between the semantic networks. The method was applied to the design support environment based mostly on the netlist information, and the inconsistencies at the semantic level were detected, which has been difficult at the syntax level.",
    keywords = "Consistency verification, Data interchangeability, Design support environment",
    author = "Hiroshi Arai and Yoshiaki Fukazawa",
    year = "1996",
    month = "9",
    language = "English",
    volume = "27",
    pages = "98--106",
    journal = "Systems and Computers in Japan",
    issn = "0882-1666",
    publisher = "John Wiley and Sons Inc.",
    number = "10",

    }

    TY - JOUR

    T1 - A consistency verification method for design models in design environments

    AU - Arai, Hiroshi

    AU - Fukazawa, Yoshiaki

    PY - 1996/9

    Y1 - 1996/9

    N2 - This paper considers the set of tools built in the design environment for digital hardware, and proposes a method to verify the consistency between the set of tools and the data model. In the design support environment which integrates the set of tools with different data models in general, the interchangeability of the design data is maintained through the common data format. In practice, however, semantic gaps are often produced between the data models. In the proposed method, the data models of the tools and the data models to be presented by the whole environment to the hardware designer are formally defined using the semantic network. The difference between the data models is extracted by operations between the semantic networks. The method was applied to the design support environment based mostly on the netlist information, and the inconsistencies at the semantic level were detected, which has been difficult at the syntax level.

    AB - This paper considers the set of tools built in the design environment for digital hardware, and proposes a method to verify the consistency between the set of tools and the data model. In the design support environment which integrates the set of tools with different data models in general, the interchangeability of the design data is maintained through the common data format. In practice, however, semantic gaps are often produced between the data models. In the proposed method, the data models of the tools and the data models to be presented by the whole environment to the hardware designer are formally defined using the semantic network. The difference between the data models is extracted by operations between the semantic networks. The method was applied to the design support environment based mostly on the netlist information, and the inconsistencies at the semantic level were detected, which has been difficult at the syntax level.

    KW - Consistency verification

    KW - Data interchangeability

    KW - Design support environment

    UR - http://www.scopus.com/inward/record.url?scp=0030244715&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0030244715&partnerID=8YFLogxK

    M3 - Article

    AN - SCOPUS:0030244715

    VL - 27

    SP - 98

    EP - 106

    JO - Systems and Computers in Japan

    JF - Systems and Computers in Japan

    SN - 0882-1666

    IS - 10

    ER -