Open AccessAn efficient manipulation package for Biconditional Binary Decision Diagrams
Author(s) -
Luca Amarú,
PierreEmmanuel Gaillardon,
Giovanni De Micheli
Publication year - 2014
Publication title -
design, automation andamp; test in europe conference andamp; exhibition (date), 2015
Language(s) - English
Resource type - Conference proceedings
DOI - 10.7873/date2014.309
Subject(s) - binary decision diagram , datapath , computer science , and inverter graph , boolean function , influence diagram , theoretical computer science , reduction (mathematics) , boolean expression , boolean circuit , combinational logic , algorithm , parallel computing , logic gate , mathematics , artificial intelligence , decision tree , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom