( en | de | ru )

 

Disambiguation of "Savoj, Hamid"

Author of the publication

copydeleteadd this publication to your clipboard
m-Inductive Property of Sequential Circuits.

, , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 35 (6): 919-930 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zahra Hamidi

Ahmad Hamidov

Saeed Hamid-Khani

Norhazlina Hamid

Mohammad Ebrahim Popal Hamid

 

Other publications of authors with the same name

An Efficient Linear Time Algorithm for Scan Chain Optimization and Repartitioning., , and . ITC, page 781-787. IEEE Computer Society, (2002)Extracting Local Don't Cares for Network Optimization., , and . ICCAD, page 514-517. IEEE Computer Society, (1991)Physical synthesis for ASIC datapath circuits., , , , and . ISCAS (3), page 365-368. IEEE, (2002)LEOPARD: a Logical Effort-based fanout OPtimizer for ARea and Delay., , , and . ICCAD, page 516-519. IEEE Computer Society, (1999)SLIP: a software environment for system level interactive partitioning., , , , , and . ICCAD, page 280-283. IEEE Computer Society, (1989)Observability Relations and Observability Don't Cares., and . ICCAD, page 518-521. IEEE Computer Society, (1991)Implicit State Enumeration of Finite State Machines Using BDDs., , , , and . ICCAD, page 130-133. IEEE Computer Society, (1990)Boolean matching in logic synthesis., , , and . EURO-DAC, page 168-174. IEEE Computer Society Press, (1992)The Use of Observability and External Don't Cares for the Simplification of Multi-Level Networks., and . DAC, page 297-301. IEEE Computer Society Press, (1990)Sequential Equivalence Checking for Clock-Gated Circuits., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 33 (2): 305-317 (2014)