{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T11:19:41Z","timestamp":1726226381117},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,3,14]]},"DOI":"10.23919\/date54114.2022.9774632","type":"proceedings-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:35:05Z","timestamp":1652992505000},"source":"Crossref","is-referenced-by-count":13,"title":["BOiLS: Bayesian Optimisation for Logic Synthesis"],"prefix":"10.23919","author":[{"given":"Antoine","family":"Grosnit","sequence":"first","affiliation":[{"name":"Huawei Noah's Ark Lab"}]},{"given":"Cedric","family":"Malherbe","sequence":"additional","affiliation":[{"name":"Huawei Noah's Ark Lab"}]},{"given":"Rasul","family":"Tutunov","sequence":"additional","affiliation":[{"name":"Huawei Noah's Ark Lab"}]},{"given":"Xingchen","family":"Wan","sequence":"additional","affiliation":[{"name":"University of Oxford,Huawei Noah's Ark Lab"}]},{"given":"Jun","family":"Wang","sequence":"additional","affiliation":[{"name":"University College London,Huawei Noah's Ark Lab"}]},{"given":"Haitham Bou","family":"Ammar","sequence":"additional","affiliation":[{"name":"University College London,Huawei Noah's Ark Lab"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Model-based reinforcement learning for atari","author":"kaiser","year":"2020","journal-title":"ICLRE"},{"key":"ref11","article-title":"The epfl combinational benchmark suite","author":"amaru","year":"2015","journal-title":"IWLS"},{"key":"ref12","article-title":"Think Global and Act Local: Bayesian Optimisation over High-Dimensional Categorical and Mixed Search Spaces","author":"wan","year":"2021","journal-title":"ICML"},{"key":"ref13","article-title":"Yosys - A Free Verilog Synthesis Suite","author":"wolf","year":"0","journal-title":"Proceedings of AustroChip"},{"key":"ref14","article-title":"Decision Making in Synthesis cross Technolo-gies using LSTMs and Transfer Learning","author":"yu","year":"0","journal-title":"Proceedings of the 2020 ACM\/IEEE Workshop on Machine Learning for CAD"},{"key":"ref15","first-page":"1","author":"mishchenko","year":"2007","journal-title":"ABC A System for Sequential Synthesis and Verification"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2990567"},{"key":"ref17","author":"pascal","year":"2021","journal-title":"geneticalgorithm2 (v 6 2 12)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2494218"},{"key":"ref19","article-title":"An Empirical Study of Assumptions in Bayesian Optimisation","author":"cowen-rivers","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2006.297705"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473916"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3451179"},{"key":"ref5","article-title":"PADE: A high-performance placer with automatic datapath extraction and evaluation through high-dimensional data learning","author":"ward","year":"0","journal-title":"DAC Design Automation Conf"},{"key":"ref8","article-title":"DRiLLS: Deep reinforcement learning for logic synthesis","author":"abdelrahman","year":"0","journal-title":"2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC)"},{"key":"ref7","article-title":"Developing Synthesis Flows Without Human Knowledge","author":"yu","year":"0","journal-title":"Proceedings of the 55th Annual Design Automation Conference"},{"key":"ref2","article-title":"PIMap: A Flexible Framework for Improving LUT-Based Technology Mapping via Parallelized Iterative Optimization","author":"liu","year":"2019","journal-title":"ACM Transactions on Reconfigurable Technology and Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2869760"},{"key":"ref9","article-title":"Deep Learning for Logic Optimisation Algorithms","author":"haaswijk","year":"0","journal-title":"IEEE International Symposium on Circuits and Systems (ISCAS)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3206.001.0001"},{"key":"ref22","article-title":"BOSS: Bayesian Optimization over String Spaces","author":"moss","year":"2020","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref21","first-page":"400","article-title":"On Bayesian methods for seeking the extremum","author":"mockus","year":"0","journal-title":"Optimization Techniques IFIP Technical Conference"},{"key":"ref23","article-title":"Text classification using string kernels","author":"lodhi","year":"2002","journal-title":"Journal of Machine Learning Research"}],"event":{"name":"2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Antwerp, Belgium","start":{"date-parts":[[2022,3,14]]},"end":{"date-parts":[[2022,3,23]]}},"container-title":["2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9774496\/9774497\/09774632.pdf?arnumber=9774632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T20:49:31Z","timestamp":1658177371000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9774632\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,14]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/date54114.2022.9774632","relation":{},"subject":[],"published":{"date-parts":[[2022,3,14]]}}}