S. Shiraz

Most-cited papers

1. A Library for Combinational Circuit Verification Using the HOL Theorem Prover

   S. Shiraz, Osman Hasan

   2018IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10 citations

   Semantic Scholar

   Save

2. A HOL Library for Hardware Verification using Theorem Proving

   S. Shiraz, Osman Hasan

   20174 citations

   Semantic Scholar

   Save

3. Block Aging Prevention technique (BAP) for flash based Solid State Disks

   S. Shiraz, Anam Zaman, S. Zia, Abdullah Mansoor +1 more

   2011International Conference on Emerging Technologies1 citations

   Semantic Scholar

   Save

4. Flash aging prevention technique (FAP) for flash based Solid State Disks

   Anam Zaman, S. Shiraz, S. Zia, Abdullah Mansoor +1 more

   2011International Conference on Crowd Science and Engineering1 citations

   Semantic Scholar

   Save

5. Formal Verification of n-bit ALU Using Theorem Proving

   S. Shiraz, Osman Hasan

   2018Brazilian Symposium on Formal Methods0 citations

   Semantic Scholar

   Save

6. Test Suite Minimization using Selective Redundancy

   A. Askarunisa, N. Ramaraj, S. Shiraz

   20090 citations

   Semantic Scholar

   Save

7. Design, Fabrication and Testing of Pulse Compressing Unit

   S. Shashank, S. Shiraz, C. Naveen, N. Srinivasaprasad

   20060 citations

   Semantic Scholar

   Save