Matches in SemOpenAlex for { <https://semopenalex.org/work/W3111042017> ?p ?o ?g. }
- W3111042017 abstract "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" @default.
- W3111042017 created "2020-12-21" @default.
- W3111042017 creator A5002117195 @default.
- W3111042017 creator A5002568331 @default.
- W3111042017 creator A5004548666 @default.
- W3111042017 creator A5010867632 @default.
- W3111042017 creator A5011883763 @default.
- W3111042017 creator A5014303947 @default.
- W3111042017 creator A5016210524 @default.
- W3111042017 creator A5016825373 @default.
- W3111042017 creator A5019443454 @default.
- W3111042017 creator A5022351777 @default.
- W3111042017 creator A5028097221 @default.
- W3111042017 creator A5028550204 @default.
- W3111042017 creator A5028824039 @default.
- W3111042017 creator A5030499418 @default.
- W3111042017 creator A5037210004 @default.
- W3111042017 creator A5039939942 @default.
- W3111042017 creator A5044448893 @default.
- W3111042017 creator A5045896058 @default.
- W3111042017 creator A5046426137 @default.
- W3111042017 creator A5049699358 @default.
- W3111042017 creator A5049853160 @default.
- W3111042017 creator A5049942533 @default.
- W3111042017 creator A5062131940 @default.
- W3111042017 creator A5064149958 @default.
- W3111042017 creator A5065168480 @default.
- W3111042017 creator A5070504678 @default.
- W3111042017 creator A5072204999 @default.
- W3111042017 creator A5073321901 @default.
- W3111042017 creator A5074083393 @default.
- W3111042017 creator A5075071243 @default.
- W3111042017 creator A5075349265 @default.
- W3111042017 creator A5076463582 @default.
- W3111042017 creator A5078604015 @default.
- W3111042017 creator A5078699661 @default.
- W3111042017 creator A5079108909 @default.
- W3111042017 creator A5083500338 @default.
- W3111042017 creator A5084170591 @default.
- W3111042017 creator A5084334285 @default.
- W3111042017 creator A5086009428 @default.
- W3111042017 creator A5090386129 @default.
- W3111042017 date "2020-12-04" @default.
- W3111042017 modified "2023-09-26" @default.
- W3111042017 title "Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization" @default.
- W3111042017 cites W1504694836 @default.
- W3111042017 cites W1528113134 @default.
- W3111042017 cites W1528837436 @default.
- W3111042017 cites W1970705443 @default.
- W3111042017 cites W1988790447 @default.
- W3111042017 cites W1993937043 @default.
- W3111042017 cites W2081488245 @default.
- W3111042017 cites W2089967664 @default.
- W3111042017 cites W2101234009 @default.
- W3111042017 cites W2107725879 @default.
- W3111042017 cites W2122824685 @default.
- W3111042017 cites W2123312976 @default.
- W3111042017 cites W2125055259 @default.
- W3111042017 cites W2133990480 @default.
- W3111042017 cites W2137983211 @default.
- W3111042017 cites W2147404448 @default.
- W3111042017 cites W2752840253 @default.
- W3111042017 cites W2802976754 @default.
- W3111042017 cites W2804071063 @default.
- W3111042017 cites W2896574026 @default.
- W3111042017 cites W2896598543 @default.
- W3111042017 cites W2911390364 @default.
- W3111042017 cites W2911964244 @default.
- W3111042017 cites W2963674932 @default.
- W3111042017 cites W2964264300 @default.
- W3111042017 cites W2966361623 @default.
- W3111042017 cites W2970869247 @default.
- W3111042017 cites W2970971581 @default.
- W3111042017 cites W2997130580 @default.
- W3111042017 cites W2999615587 @default.
- W3111042017 cites W3009849929 @default.
- W3111042017 cites W3010631141 @default.
- W3111042017 cites W3016036342 @default.
- W3111042017 cites W3092631336 @default.
- W3111042017 cites W3103313582 @default.
- W3111042017 cites W3146803896 @default.
- W3111042017 cites W33911032 @default.
- W3111042017 hasPublicationYear "2020" @default.
- W3111042017 type Work @default.
- W3111042017 sameAs 3111042017 @default.
- W3111042017 citedByCount "0" @default.
- W3111042017 crossrefType "posted-content" @default.
- W3111042017 hasAuthorship W3111042017A5002117195 @default.
- W3111042017 hasAuthorship W3111042017A5002568331 @default.
- W3111042017 hasAuthorship W3111042017A5004548666 @default.
- W3111042017 hasAuthorship W3111042017A5010867632 @default.
- W3111042017 hasAuthorship W3111042017A5011883763 @default.
- W3111042017 hasAuthorship W3111042017A5014303947 @default.
- W3111042017 hasAuthorship W3111042017A5016210524 @default.
- W3111042017 hasAuthorship W3111042017A5016825373 @default.
- W3111042017 hasAuthorship W3111042017A5019443454 @default.
- W3111042017 hasAuthorship W3111042017A5022351777 @default.
- W3111042017 hasAuthorship W3111042017A5028097221 @default.
- W3111042017 hasAuthorship W3111042017A5028550204 @default.
- W3111042017 hasAuthorship W3111042017A5028824039 @default.