MicroTESK @ DATE 2017
MicroTESK together with a Spin-based extension for verifying cache coherency mechanisms was presented at the University Booth exhibition of the Design, Automation and Test in Europe Conference (DATE) held in Lausanne, Switzerland on March 27-31, 2017. DATE is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems.