| 2010 | FMCAD | Combinational techniques for sequential equivalence checking. | Hamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton |
| 2002 | ISCAS | Physical synthesis for ASIC datapath circuits. | Terry Tao Ye, Samit Chaudhuri, Fei Huang, Hamid Savoj, Giovanni De Micheli |
| 2002 | ITC | An Efficient Linear Time Algorithm for Scan Chain Optimization and Repartitioning. | David Berthelot, Samit Chaudhuri, Hamid Savoj |
| 1999 | ICCAD | LEOPARD: a Logical Effort-based fanout OPtimizer for ARea and Delay. | Peyman Rezvani, Amir H. Ajami, Massoud Pedram, Hamid Savoj |
| 1992 | ICCD | Sequential Circuit Design Using Synthesis and Optimization. | Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | Observability Relations and Observability Don't Cares. | Hamid Savoj, Robert K. Brayton |
| 1991 | ICCAD | Extracting Local Don't Cares for Network Optimization. | Hamid Savoj, Robert K. Brayton, Herv J. Touati |
| 1991 | ICCAD | Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. | Herv J. Touati, Hamid Savoj, Robert K. Brayton |
| 1990 | DAC | The Use of Observability and External Don't Cares for the Simplification of Multi-Level Networks. | Hamid Savoj, Robert K. Brayton |
| 1990 | ICCAD | Implicit State Enumeration of Finite State Machines Using BDDs. | Herv J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1989 | ICCAD | SLIP: a software environment for system level interactive partitioning. | Mark Beardslee, Chuck Kring, Rajeev Murgai, Hamid Savoj, Robert K. Brayton, A. Richard Newton |
| 1989 | ICCAD | Fast two-level logic minimizers for multi-level logic synthesis. | Hamid Savoj, Abdul A. Malik, Robert K. Brayton |