https://scholars.lib.ntu.edu.tw/handle/123456789/607213
標題: | Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization | 作者: | JIE-HONG JIANG | 關鍵字: | Commerce;Fintech;Logic design;Logic Synthesis;Machine learning;Approaches to learning;Benchmark suites;Comparative analysis;Hardware design;Incompletely specified functions;Minterms;Structural representation;Training sets;Computer circuits | 公開日期: | 2021 | 卷: | 2021-February | 起(迄)頁: | 1026-1031 | 來源出版物: | Proceedings -Design, Automation and Test in Europe, DATE | 摘要: | Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is completely-specified, the implementation accurately represents the function. If the function is incompletely-specified, the implementation has to be true only on the care set. While most of the algorithms in logic synthesis rely on SAT and Boolean methods to exactly implement the care set, we investigate learning in logic synthesis, attempting to trade exactness for generalization. This work is directly related to machine learning where the care set is the training set and the implementation is expected to generalize on a validation set. We present learning incompletely-specified functions based on the results of a competition conducted at IWLS 2020. The goal of the competition was to implement 100 functions given by a set of care minterms for training, while testing the implementation using a set of validation minterms sampled from the same function. We make this benchmark suite available and offer a detailed comparative analysis of the different approaches to learning. ? 2021 EDAA. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85109032109&doi=10.23919%2fDATE51398.2021.9473972&partnerID=40&md5=33fda5d3a02f5fe63051ef90c8c8c8d5 https://scholars.lib.ntu.edu.tw/handle/123456789/607213 |
ISSN: | 15301591 | DOI: | 10.23919/DATE51398.2021.9473972 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。