Karim Khordoc

Publication Activity (10 Years)

Years Active: 1991-2001
Publications (10 Years): 0

Publications

Katarzyna Radecka, Zeljko Zilic, Karim Khordoc
Combinational verification by simulations, SAT and BDDs. ICECS (2001)
Ghassan Fayad, Karim Khordoc
An object-oriented approach to system modeling and codesign for multimedia applications. ICECS (2000)
Karim Khordoc, Eduard Cerny
Semantics and verification of action diagrams with linear timing. ACM Trans. Design Autom. Electr. Syst. 3 (1) (1998)
Karim Khordoc, Eduard Cerny
Modeling Cell Processing Hardware with Action Diagrams. ISCAS (1994)
Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt
Integrating Behavior and Timing in Executable Specifications. CHDL (1993)
Karim Khordoc, Mario Dufresne, Eduard Cerny
A Stimulus/Response System Based on Hierarchical Timing Diagrams. ICCAD (1991)