{"id":51,"date":"2012-05-10T13:01:39","date_gmt":"2012-05-10T10:01:39","guid":{"rendered":"http:\/\/www.eng.biu.ac.il\/kereno\/?page_id=51"},"modified":"2018-12-09T15:19:57","modified_gmt":"2018-12-09T13:19:57","slug":"optimization-of-decision-diagrams","status":"publish","type":"page","link":"https:\/\/www.eng.biu.ac.il\/kereno\/ongoing-projects\/optimization-of-decision-diagrams\/","title":{"rendered":"Optimization of Decision Diagrams"},"content":{"rendered":"<p>Many problems in VLSI-CAD and other fields of computer science can be formulated in terms of Boolean functions. The central issue in providing computer-aided solutions to such problems is to find a compact representation for a set of Boolean functions, for which basic Boolean operations and equivalence check can be efficiently performed. Decision diagram based representation of a set of Boolean functions can be useful in verification and synthesis.<\/p>\n<p><strong>Research topics:<\/strong><\/p>\n<ul>\n<li>Generalized If-Then-Else algebra for compact representation of Multi Output Functions<\/li>\n<li>Optimization of multi-terminal decision diagrams by using spectral methods<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Many problems in VLSI-CAD and other fields of computer science can be formulated in terms of Boolean functions. The central issue in providing computer-aided solutions to such problems is to find a compact representation for a set of Boolean functions, for which basic Boolean operations and equivalence check can be efficiently performed. Decision diagram based &hellip; <a href=\"https:\/\/www.eng.biu.ac.il\/kereno\/ongoing-projects\/optimization-of-decision-diagrams\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Optimization of Decision Diagrams<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":23,"featured_media":0,"parent":32,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-51","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/pages\/51"}],"collection":[{"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/comments?post=51"}],"version-history":[{"count":6,"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/pages\/51\/revisions"}],"predecessor-version":[{"id":138,"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/pages\/51\/revisions\/138"}],"up":[{"embeddable":true,"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/pages\/32"}],"wp:attachment":[{"href":"https:\/\/www.eng.biu.ac.il\/kereno\/wp-json\/wp\/v2\/media?parent=51"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}