related documents

• A SYMBOLIC METHOD TO REDUCE POWER CONSUMPTION OF CIRCUITS CONTAINING FALSE PATHS  Conference Proceeding
• RE-ENCODING SEQUENTIAL CIRCUITS TO REDUCE POWER DISSIPATION  Conference Proceeding
• SYMMETRY DETECTION AND DYNAMIC VARIABLE ORDERING OF DECISION DIAGRAMS  Conference Proceeding