Hamid Savoj

According to our database, Hamid Savoj authored at least 16 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

m-Inductive Property of Sequential Circuits.

Hamid Savoj, Alan Mishchenko, Robert K. Brayton

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

2014

Sequential Equivalence Checking for Clock-Gated Circuits.

Hamid Savoj, Alan Mishchenko, Robert K. Brayton

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

2010

Combinational techniques for sequential equivalence checking.

Hamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2002

An Efficient Linear Time Algorithm for Scan Chain Optimization and Repartitioning.

David Berthelot, Samit Chaudhuri, Hamid Savoj

Proceedings of the Proceedings IEEE International Test Conference 2002, 2002

Physical synthesis for ASIC datapath circuits.

Terry Tao Ye, Samit Chaudhuri, F. Huang, Hamid Savoj, Giovanni De Micheli

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

1999

LEOPARD: a Logical Effort-based fanout OPtimizer for ARea and Delay.

Peyman Rezvani, Amir H. Ajami, Massoud Pedram, Hamid Savoj

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1994

Chemical Function Queries for 3D Database Search.

Jonathan Greene, Scott D. Kahn, Hamid Savoj, Peter Sprague, Steven L. Teig

J. Chem. Inf. Comput. Sci., 1994

1992

Sequential Circuit Design Using Synthesis and Optimization.

Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

Boolean matching in logic synthesis.

Hamid Savoj, Mário J. Silva, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the conference on European design automation, 1992

1991

Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing.

Hervé J. Touati, Hamid Savoj, Robert K. Brayton

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Extracting Local Don't Cares for Network Optimization.

Hamid Savoj, Robert K. Brayton, Hervé J. Touati

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Observability Relations and Observability Don't Cares.

Hamid Savoj, Robert K. Brayton

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1990

Implicit State Enumeration of Finite State Machines Using BDDs.

Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

The Use of Observability and External Don't Cares for the Simplification of Multi-Level Networks.

Hamid Savoj, Robert K. Brayton

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1989

Fast two-level logic minimizers for multi-level logic synthesis.

Hamid Savoj, Abdul A. Malik, Robert K. Brayton

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

SLIP: a software environment for system level interactive partitioning.

Mark Beardslee, Chuck Kring, Rajeev Murgai, Hamid Savoj, Robert K. Brayton, A. Richard Newton

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989