Combination of Assertion and HSAT Methods For Automated Test Vectors Generation. - Mostafa Naderi; Zainalabedin Navabi (FDL, 2005)

Binary Taylor diagrams: an efficient implementation of Taylor expansion diagrams. - Arash Hooshmand; Saeed Shamshiri; Mohammad Alisafaee; Bijan Alizadeh; Pejman Lotfi-Kamran; Mostafa Naderi; Zainalabedin Navabi (ISCAS (1), 2005)