From post

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.

 

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

On the verification of sequential machines at differing levels of abstraction., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (6): 713-722 (1988)Redundancies and don't cares in sequential logic synthesis., , и . J. Electron. Test., 1 (1): 15-30 (1990)An Incomplete Scan Design Approach to Test Generation for Sequential Machines., , , и . ITC, стр. 730-734. IEEE Computer Society, (1988)On the over-specification problem in sequential ATPG algorithms., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (10): 1599-1604 (1993)Redundancies and Don't Cares in Sequential Logic Synthesis., , и . ITC, стр. 491-500. IEEE Computer Society, (1989)Irredundant sequential machines via optimal logic synthesis., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 8-18 (1990)Logic verification algorithms and their parallel implementation., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 8 (2): 181-189 (1989)On Efficient and Robust Constraint Generation for Practical Layout Legalization., , , , и . ISQED, стр. 379-384. IEEE Computer Society, (2008)A Robust Solution to the Timing Convergence Problem in High-Performance Design., , , , , и . ICCD, стр. 250-257. IEEE Computer Society, (1999)Easily testable PLA-based finite state machines., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (6): 604-611 (1990)