related documents Boolean techniques for low power driven re-synthesis Conference Proceeding High-density reachability analysis Conference Proceeding Who are the variables in your neighborhood Conference Proceeding
