( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sequential synthesis using S1S.

, , , и . ICCAD, стр. 612-617. IEEE Computer Society / ACM, (1995)

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.

Robert K Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K von Weizsäcker

 

Другие публикации лиц с тем же именем

NSF Workshop on EDA: Past, Present, and Future (Part 1)., и . IEEE Des. Test Comput., 27 (2): 68-74 (2010)Theory of safe replacements for sequential circuits., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (2): 249-265 (2001)Explicit and implicit algorithms for binate covering problems., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)Solving the State Assignment Problem for Signal Transition Graphs., , , и . DAC, стр. 568-572. IEEE Computer Society Press, (1992)Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation., , и . DAC, стр. 173-176. IEEE Computer Society Press, (1992)An Improved Synthesis Algorithm for Multiplexor-Based PGA's., , и . DAC, стр. 380-386. IEEE Computer Society Press, (1992)Permissible Observability Relations in FSM Networks., и . DAC, стр. 677-683. ACM Press, (1994)A Fully Implicit Algorithm for Exact State Minimization., , , и . DAC, стр. 684-690. ACM Press, (1994)Espresso-Signature: A New Exact Minimizer for Logic Functions., , , и . DAC, стр. 618-624. ACM Press, (1993)Exact Required Time Analysis via False Path Detection., и . DAC, стр. 220-225. ACM Press, (1997)