한국시뮬레이션학회:학술대회논문집 (Proceedings of the Korea Society for Simulation Conference)
- 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
- /
- Pages.34-39
- /
- 2005
Attributed AND-OR Graph : 디지털 시스템 설계에 있어 모델 관리를 위한 정형론
Attributed AND-OR Graph : A Semantics for Formal Model Management for Digital Systems Design
초록
The progress of silicon technology enables to implement a highly complex digital system on a given chip area. However, even the modern design environment is not so efficient to catch up with the progress of process technology. Design reuse is a promising approach to designing such a complex system in an efficient way. However, the rigidness and inflexibility of a model has been an obstacle to design reuse. This paper proposes a high-level model management methodology by introducing attributed AND-OR graph(AOG), a (formal semantics for representing the possible structure of a model. Using the formalism enables a designer to extract, extend and reuse the pre-modeled and pre-verified design. A complete process of constructing a cache operational model, extending the model and extracting executable models is exemplified to show effectiveness of the proposed framework.
키워드