Anam Zaman  <br/><br/>
Formal verification of network on chip (NoC) architecture 

 - Islamabad  NUST-SEECS  2015 
 - 67p.  ill.;  CD ROM 
<br/><br/> Supervisors: Dr. Osman Hasan, Dr. M. Shahzad Younis, Dr. Rehan Hafiz, Ms. Hira Taqdees 
<br/><br/><label>Dewey Class. No.: </label>MSEE-3 ZAM