Sharad Malik
Princeton University(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Formal Methods in Verification, VLSI and Analog Circuit Testing, Low-power high-performance VLSI design
Most-Cited Works
- → Chaff(2001)2,865 cited
- → Power analysis of embedded software: a first step towards software power minimization(1994)989 cited
- → Evaluating the security of logic encryption algorithms(2015)759 cited
- → Orion: a power-performance simulator for interconnection networks(2002)673 cited
- → Logic verification using binary decision diagrams in a logic synthesis environment(2003)501 cited
- → Instruction level power analysis and optimization of software(1996)414 cited
- → Performance analysis of embedded software using implicit path enumeration(1995)405 cited