Darbari, Ashish, Al Hashimi, Bashir M , Flynn, David and Biggs, John (2009) Selective State Retention Design using Symbolic Simulation. In, DATE 2009