Efficient debugging in a formal verification environment. - Fady Copty; Amitai Irron; Osnat Weissberg; Nathan P. Kropp; Gila Kamhi (Int. J. Softw. Tools Technol. Transf., 2003)

Pattern search in hierarchical high-level designs. - Zvi Terem; Gila Kamhi; Moshe Y. Vardi; Amitai Irron (ICECS, 2004)