Stefano Di Carlo, Giulio Gambardella, Marco Indaco, Daniele Rolfo, Paolo Prinetto. A unifying formalism to support automated synthesis of SBSTs for embedded caches. In Vladimir Hahanov, Yervant Zorian, editors, 9th East-West Design & Test Symposium, EWDTS 2011, Sevastopol, Ukraine, September 9-12, 2011. pages 39-42, IEEE, 2011. [doi]
Abstract is missing.