Structure Specification with a Procedural Hardware Description Language. - Fredrick J. Hill; R. E. Swanson; Manzer Masud; Zainalabedin Navabi (IEEE Trans. Computers, 1981)

Hardware Compilation from an RTL to a Storage Logic Array Target. - Fredrick J. Hill; Zainalabedin Navabi; Chen H. Chiang; Duan-Ping Chen; Manzer Masud (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1984)

CAD tool for the automatic generation of microprograms. - Sadiq M. Sait; Anan Yaagoub; Manzer Masud (Microprocess. Microsystems, 1988)

Test generation based on synthesizable VHDL descriptions. - Manzer Masud; Maddu Karunaratne (EURO-DAC, 1993)