“Memoir Systems designs high performance and highly configurable memory IP cores. Formal verification has always been an important strategy to ensure functional correctness of its configurable memory IPs, as it is hard to cover all configurations using simulation. Due to the complex nature of Memoir Systems’ design, Oski Technology is involved to help identify formal verification complexity spots and craft solutions to overcome the complexity challenge. Due to Oski’s engagement, the memory IPs from Memoir Systems are formally verified and exhaustively proven – 100% verified.” (Update: Memoir was acquired by Cisco in September 2014.)

Da Chuang
Co-Founder & COO, Memoir Systems