"Selective State Retention Power Gating Based on Formal Verification."

Shlomo Greenberg, Joseph Rabinowicz, Erez Manor (2015)

Details and statistics

DOI: 10.1109/TCSI.2014.2373031

access: closed

type: Journal Article

metadata version: 2020-05-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics