Hamid Savoj - RankMe

16 papers A* 1A 8B 1C 1Journal 3Unranked 2

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