Hamid Savoj

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Inductive Concept Learning

Power Dissipation

Digital Circuits

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Hamid Savoj, Alan Mishchenko, Robert K. Brayton
m-Inductive Property of Sequential Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (6) (2016)
Hamid Savoj, Alan Mishchenko, Robert K. Brayton
Sequential Equivalence Checking for Clock-Gated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (2) (2014)
Hamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton
Combinational techniques for sequential equivalence checking. FMCAD (2010)
David Berthelot, Samit Chaudhuri, Hamid Savoj
An Efficient Linear Time Algorithm for Scan Chain Optimization and Repartitioning. ITC (2002)
Terry Tao Ye, Samit Chaudhuri, F. Huang, Hamid Savoj, Giovanni De Micheli
Physical synthesis for ASIC datapath circuits. ISCAS (3) (2002)
Peyman Rezvani, Amir H. Ajami, Massoud Pedram, Hamid Savoj
LEOPARD: a Logical Effort-based fanout OPtimizer for ARea and Delay. ICCAD (1999)
Jonathan Greene, Scott D. Kahn, Hamid Savoj, Peter Sprague, Steven L. Teig
Chemical Function Queries for 3D Database Search. J. Chem. Inf. Comput. Sci. 34 (6) (1994)
Hamid Savoj, Mário J. Silva, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Boolean matching in logic synthesis. EURO-DAC (1992)
Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Sequential Circuit Design Using Synthesis and Optimization. ICCD (1992)
Hervé J. Touati, Hamid Savoj, Robert K. Brayton
Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. ICCAD (1991)
Hamid Savoj, Robert K. Brayton
Observability Relations and Observability Don't Cares. ICCAD (1991)
Hamid Savoj, Robert K. Brayton, Hervé J. Touati
Extracting Local Don't Cares for Network Optimization. ICCAD (1991)
Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD (1990)
Hamid Savoj, Robert K. Brayton
The Use of Observability and External Don't Cares for the Simplification of Multi-Level Networks. DAC (1990)
Mark Beardslee, Chuck Kring, Rajeev Murgai, Hamid Savoj, Robert K. Brayton, A. Richard Newton
SLIP: a software environment for system level interactive partitioning. ICCAD (1989)
Hamid Savoj, Abdul A. Malik, Robert K. Brayton
Fast two-level logic minimizers for multi-level logic synthesis. ICCAD (1989)