Romain Kamdem

According to our database, Romain Kamdem authored at least 6 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2007

Hardware/Firmware Verification of Graphic IP.

Romain Kamdem

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

2005

An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC.

Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki

Comput. Electr. Eng., 2005

Combining System Level Modeling with Assertion Based Verification.

Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib

Proceedings of the 6th International Symposium on Quality of Electronic Design (ISQED 2005), 2005

2000

Coprocessor Synthesis of Multirate System Using Static Scheduling Theory.

Romain Kamdem, Alain Fonkoua

Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000

1999

Galois Lattice Approach to Hardware/Software Partitioning.

Romain Kamdem, Patrick Njiwoua

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Hardware/Software Partitioning of Multirate System Using Static Scheduling Theory.

Romain Kamdem, Alain Fonkoua, Andre Zenatti

Proceedings of the IEEE International Conference On Computer Design, 1999