On coupling method, macro pattern mapping and symbolic formula proof for EDA: 關於耦合算法, 宏模塊映射和符號表達或證明的EDA問題
Diao, Yi. === Thesis Ph.D. Chinese University of Hong Kong 2015. === Includes bibliographical references (leaves 102-112). === Abstracts also in Chinese. === Title from PDF title page (viewed on 21, November, 2016). === Diao, Yi.
| Other Authors: | |
|---|---|
| Format: | Others |
| Language: | English Chinese |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://repository.lib.cuhk.edu.hk/en/item/cuhk-1291867 |