本論文以實際元件的資料單(datasheet)做為建立出適用於特徵導向的嵌入式系統設計方法所 使用的元件含義模型。特徵導向設計使用特徵代數來表達特徵之間橫向與縱向的關係，其目 的為捕捉機制在設計裡的意義。此設計方法的優勢包括容易替換機制、容易演進、同時讓演算法能自動檢查需求滿足的完整性與自動提示。但是，要實現優勢的前提，就是工具依賴 的元件庫必須提供豐富的元件模型， 以上述方式捕捉根據資料單裡描述的相關資訊。雖然 業界的電子化資料單已有提出，也針對不同領域提供，包括封裝、功耗、電、時間、邏輯介面、暫存器表、和函式等等。但是，絕大都是以相對低階方式，如鍵值組表達參數值，缺乏 機制的意義部份，而語義的表達則是資工領域裡最有挑戰性的問題之一。
本研究提出一種使用特徵代數(feature algebra)做為建立元件意義模型的表達特徵間橫向與 縱向關係方式。特徵代號可參考本體論的概念， 而運算元可將不同特徵做橫向組合或表達 縱向概含與實現的關係。元件介面則是將高階特徵對應到一種稱為旗標圖(semagraph)的模 型，以精確、精簡的方式捕捉電路圖裡現有與從缺的連線。我們的實例是根據一個系統晶片 的多模態感測器的資料單為特徵依據。該元件支援兩種通訊協定可選其中之一與微控器介 面，而且這個元件涵蓋了許多嵌入式系統使用到的代表性的特徵。本研究產出的模型的目的 是要顯示出從實際元件的資料單裡萃取出關鍵資訊以建立出支援特徵導向設計的可行性。

This thesis presents a case study of capturing information in a component datasheet in a semantic model suitable for feature-based design of embedded systems. Feature-based design is a new methodology that uses feature algebra to express the relationships between features, both vertically and horizontally, such that mechanisms in a design are associated with the semantics. The benefits include enhanced retargetability and evolvability as well as enabling automatic checking of requirement fulfillment and prompting. However, these potentials will not be fully realized unless the methodology is well supported by a library of component models that capture all the knowledge in the datasheet. Datasheets have been captured in electronic format for several different domains, including physical packaging, power, electrical, timing, logical interfacing, register map, and functions. While many lower-level domains can be captured parametrically as key-value pairs without much interpretation, the semantics of the functions remains one of the most challenging problems in computer science.
This research proposes to use feature algebra to capture the horizontal and vertical relationships between features in a component semantically. Feature symbols can refer to the ontological models,
and operators either compose features horizontally or express concept-manifestation relationships vertically. At the interface level, our feature model is related to a graph model called semagraph that
captures existing and potential states of connection in a precise and concise representation. Our case study is a system-on-chip (SoC) of multiple sensors that can be interfaced with a microcontroller via
two alternative protocols, and it covers the representative features of most components for embedded systems. The resulting model demonstrates the feasibility of modeling key information extracted
from the actual datasheet to support the novel feature-based design methodology.

Contents i
Acknowledgments vi
1 Introduction 1
1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Thesis Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Related Work 4
2.1 Electronic Datasheets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Feature-based Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3 Ontology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3 Methodology 6
3.1 Design Methodology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2 Feature Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2.1 Concept Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2.2 Function Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2.3 Parameter Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2.4 Structure Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2.5 Symbol Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2.6 Document Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.3 Feature Roles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.3.1 Feature Port . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.4 Feature Levels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.4.1 Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.4.2 Carrier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.5 Feature Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.5.1 Feature Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.5.2 Feature Operands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.5.3 Feature Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.6 Type Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.6.1 Host-Language Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.6.2 CAS Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.6.3 Feature-Model Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4 Component Modeling 22
4.1 Anatomy of a Datasheet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.2 The Front Page . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.3 Structural Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.3.1 Functional Block Diagram . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.3.2 Example Schematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.4 The Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
4.4.1 Primary Function Specifications . . . . . . . . . . . . . . . . . . . . . . . . 27
4.4.2 Electrical Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.4.3 Interface Specifications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.5 Pin Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4.6 Register Map . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.7 Layout Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.7.1 Mechanical Characterization . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.7.2 Packaging Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5 Implementations 34
5.1 Operators Overloading in Python . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
5.2 Data Structure of Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
6 Conclusions and Future Work 36
6.1 Conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
6.2 Future Work . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

[1] InvenSense, a TDK Group Company, “ICM-20948 datasheet.” https://invensense.tdk.com/
products/motion-tracking/9-axis/icm-20948/, 2021.
[2] I.-X. S. W. Group, “IP-XACT: Standard structure for packaging, integrating, and reusing ip
within tool flows,” in IEEE Std 1685-2014, 2014.
[3] A. Kamppi, L. Matilainen, J.-M. Maatta, E. Salminen, T. D. Hamalainen, and M. Hannikainen,
“Kactus2: Environment for embedded product development using IP-XACT and MCAPI,” in
2011 14th Euromicro Conference on Digital System Design, pp. 262–265, IEEE, 2011.
[4] X. F. Zha and R. D. Sriram, “Feature technology and ontology for embedded system design
and development,” in Proceedings of DETC’2006, 2006 ASME Design Engineering Technical
Conference, September 10-13 2006.
[5] A. Sousa, T. Couto, C. Agra, and F. Alencar, “Use of ontologies in embedded systems: a systematic
mapping.,” in 2016 10th International Conference on the Quality of Information and
Communications Technology, IEEE, 2016.
[6] ETSI, “Saref: the smart applications reference ontology.” https://saref.etsi.org/core/v3.1.
1/, 2020.
[7] X. F. Zha, S. J. Fenves, and R. D. Sriram, “Use of ontologies in embedded systems: A systematic
mapping,” in Proceedings of DETC’2005, 2005 ASME Design Engineering Technical
Conference, September 24-28 2005.
[8] M. Grusin, “How to read a datasheet.” https://www.sparkfun.com/tutorials/223, 2010.
[9] F. S. University, “Anatomy of a Data Sheet – LF155 Series Op-Amps.” http://www.hep.fsu.
edu/~wahl/phy3802/expinfo/electronics/lf356_datasheet_anatomy.pdf, 2001.
[10] Sympy, “Sympy.” https://www.sympy.org, 2007.