Ashish Darbari, Bashir M. Al-Hashimi, David Flynn, John Biggs. Selective state retention design using symbolic simulation. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1644-1649, IEEE, 2009. [doi]
Abstract is missing.