Tightly integrate dynamic verification with formal verification: a GSTE based approach. - Jin Yang 006; Avi Puder (ASP-DAC, 2005)

From visual to logical formalisms for SoC validation. - Ranan Fraer; Doron Keren; Zurab Khasidashvili; Alexander Novakovsky; Avi Puder; Eli Singerman; Eran Talmor; Moshe Y. Vardi; Jin Yang 006 (MEMOCODE, 2014)