Author of the publication

Efficient algorithms for interface timing verification.

, , , and . EURO-DAC, page 34-39. IEEE Computer Society, (1994)

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.

 

Other publications of authors with the same name

Performance Estimation for Real-Time Distributed Embedded Systems., and . IEEE Trans. Parallel Distributed Syst., 9 (11): 1125-1136 (1998)An efficient graph algorithm for FSM scheduling., and . IEEE Trans. Very Large Scale Integr. Syst., 4 (1): 98-112 (1996)Optimal Scheduling of Finite-State Machines., and . ICCD, page 366-369. IEEE Computer Society, (1993)Efficient algorithms for interface timing verification., , , and . EURO-DAC, page 34-39. IEEE Computer Society, (1994)DP-Gen: a datapath generator for multiple-FPGA applications., , , and . ASP-DAC, page 563-568. IEEE, (1997)Efficient Algorithms for Interface Timing Verification., , , and . Formal Methods Syst. Des., 12 (3): 241-265 (1998)Communication synthesis for distributed embedded systems., and . ICCAD, page 288-294. IEEE Computer Society / ACM, (1995)Performance estimation for real-time distributed embedded systems., and . ICCD, page 64-71. IEEE Computer Society, (1995)A Real-Time RTL Engineering-Change Method Supporting On-Line Debugging for Logic-Emulation Applications., , and . DAC, page 101-106. ACM Press, (1997)Sensitivity-driven co-synthesis of distributed embedded systems., and . ISSS, page 4-9. ACM, (1995)