Title: Applications of decision diagrams in digital circuit design