Generation of BDDs from hardware algorithm descriptions | IEEE Conference Publication | IEEE Xplore