| Chaff: Engineering an efficient SAT solver MW Moskewicz, CF Madigan, Y Zhao, L Zhang, S Malik Proceedings of the 38th annual Design Automation Conference, 530-535, 2001 | 4457 | 2001 |
| Power analysis of embedded software: a first step towards software power minimization V Tiwari, S Malik, A Wolfe IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2 (4), 437-445, 1994 | 1435 | 1994 |
| System-level design: orthogonalization of concerns and platform-based design K Keutzer, AR Newton, JM Rabaey, A Sangiovanni-Vincentelli IEEE transactions on computer-aided design of integrated circuits and …, 2000 | 1243 | 2000 |
| Efficient conflict driven learning in a boolean satisfiability solver L Zhang, CF Madigan, MH Moskewicz, S Malik IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001 | 1088 | 2001 |
| Orion: a power-performance simulator for interconnection networks HS Wang, X Zhu, LS Peh, S Malik 35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002 …, 2002 | 928 | 2002 |
| Instruction level power analysis and optimization of software V Tiwari, S Malik, A Wolfe, MTC Lee Technologies for wireless computing, 139-154, 1996 | 756 | 1996 |
| Performance analysis of embedded software using implicit path enumeration YTS Li, S Malik Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995 | 679 | 1995 |
| Logic verification using binary decision diagrams in a logic synthesis environment S Malik, AR Wang, RK Brayton, A Sangiovanni-Vincentelli 1988 IEEE International Conference on Computer-Aided Design, 6, 7, 8, 9-6, 7 …, 1988 | 670 | 1988 |
| Addressing the system-on-a-chip interconnect woes through communication-based design M Sgroi, M Sheets, A Mihal, K Keutzer, S Malik, J Rabaey, ... Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001 | 483 | 2001 |
| Power-driven design of router microarchitectures in on-chip networks H Wang, LS Peh, S Malik Proceedings. 36th Annual IEEE/ACM International Symposium on …, 2003 | 460 | 2003 |
| The quest for efficient boolean satisfiability solvers L Zhang, S Malik International Conference on Computer Aided Verification, 17-36, 2002 | 457 | 2002 |
| Conflict-driven clause learning SAT solvers J Marques-Silva, I Lynce, S Malik Handbook of satisfiability, 131-153, 2009 | 395 | 2009 |
| A survey of optimization techniques targeting low power VLSI circuits S Devadas, S Malik Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 242-247, 1995 | 392 | 1995 |
| Evaluating the security of logic encryption algorithms P Subramanyan, S Ray, S Malik 2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015 | 377 | 2015 |
| Algorithms for discrete function manipulation A Srinivasan, T Ham, S Malik, RK Brayton 1990 IEEE international conference on computer-aided design, 92, 93, 94, 95 …, 1990 | 369 | 1990 |
| Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications L Zhang, S Malik 2003 Design, Automation and Test in Europe Conference and Exhibition, 880-885, 2003 | 359 | 2003 |
| Power analysis and minimization techniques for embedded DSP software MTC Lee, V Tiwari, S Malik, M Fujita IEEE Transactions on Very Large Scale Integration (VLSI) Systems 5 (1), 123-135, 1997 | 357 | 1997 |
| Cache miss equations: a compiler framework for analyzing and tuning memory behavior S Ghosh, M Martonosi, S Malik ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 703-746, 1999 | 356 | 1999 |
| Cache modeling for real-time software: Beyond direct mapped instruction caches YTS Li, S Malik, A Wolfe 17th IEEE Real-Time Systems Symposium, 254-263, 1996 | 314 | 1996 |
| Performance estimation of embedded software with instruction cache modeling YTS Li, S Malik, A Wolfe ACM Transactions on Design Automation of Electronic Systems (TODAES) 4 (3 …, 1999 | 304 | 1999 |
Kurt KeutzerProfessor of the Graduate School, EECS, University of California, BerkeleyVerified email at berkeley.edu
