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