Rule-based Equivalence Checking of System-level Design Descriptions

被引：1

作者：

Yoshida, Hiroaki ^{[1
]}

Fujita, Masahiro ^{[1
]}

机构：

[1] Univ Tokyo, VLSI Design & Educ Ctr, Tokyo 1138654, Japan

来源：

2009 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLUMES I & II: COMMUNICATIONS, NETWORKS AND SIGNAL PROCESSING, VOL I/ELECTRONIC DEVICES, CIRUITS AND SYSTEMS, VOL II | 2009年

关键词：

D O I：

10.1109/ICCCAS.2009.5250314

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents our study on rule-based equivalence checking of system-level design descriptions. The rule-based equivalence checking proves the equivalence of two system-level design descriptions by applying equivalence rules in a bottom-up manner. In this paper, we first introduce our intermediate representation of system-level design, and then show a set of representative equivalence rules. Since our equivalence checking method is based on potential internal equivalences identified by using random simulation, we also present how to prove the equivalence based on such potential internal equivalences. Finally, we explain our implementation of the rule-based equivalence checker and demonstrate its feasibility and efficiency using an example design.

引用

页码：1139 / 1143

页数：5

共 50 条

[21] Polychrony for formal refinement-checking in a system-level design methodology
Talpin, JP
Le Guernic, P
Shukla, SK
Gupta, R
Doucet, F
THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 9 - 19
[22] RULE-BASED SYSTEM PROVIDES DESIGN VERIFICATION
GOERING, R
COMPUTER DESIGN, 1988, 27 (12): : 32 - 32
[23] Automatic rule-based checking of building designs
Eastman, C.
Lee, Jae-min
Jeong, Yeon-suk
Lee, Jin-kook
AUTOMATION IN CONSTRUCTION, 2009, 18 (08) : 1011 - 1033
[24] Rule-based system validation through automatic identification of equivalence classes
Rosenwald, GW
Liu, CC
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1997, 9 (01) : 24 - 31
[25] Rule-based compliance checking and generative design for building interiors using BIM
Sydora, Christoph
Stroulia, Eleni
AUTOMATION IN CONSTRUCTION, 2020, 120 (120)
[26] SYSTEM-LEVEL DESIGN
BOURBON, B
COMPUTER DESIGN, 1990, 29 (23): : 19 - 21
[27] Development of a Rule-Based Safety Checking System for Autonomous Heavy Construction Equipment
Shirazi, Amirpooya
Kim, Kyungki
CONSTRUCTION RESEARCH CONGRESS 2024: ADVANCED TECHNOLOGIES, AUTOMATION, AND COMPUTER APPLICATIONS IN CONSTRUCTION, 2024, : 962 - 971
[28] Rule-based Control System Design for Smart Grids
Liu, Hongrui
Zabinsky, Zelda B.
Kohn, Wolf
IEEE POWER AND ENERGY SOCIETY GENERAL MEETING 2010, 2010,
[29] Rule-Based System Development for Conceptual Aircraft Design
Karagoz, Esma
Mavris, Dimitri
2019 IEEE AEROSPACE CONFERENCE, 2019,
[30] A design pattern for active rule-based system architectures
Jin, Y
PROCEEDINGS OF THE 2005 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2005, : 536 - 541

← 1 2 3 4 5 →