related documents High-level power modeling, estimation, and optimization Conference Proceeding Linear sifting of decision diagrams Conference Proceeding Remembrance of things past: Locality and memory in BDDs Conference Proceeding
