3 ms·Aren't BDDs used extensively in hardware synthesis?by sitkack 4y agoAren't BDDs used extensively in hardware synthesis?