Romain Kamdem

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

Romain Kamdem
Hardware/Firmware Verification of Graphic IP. IEEE International Workshop on Rapid System Prototyping (2007)
Anat Dahan, Daniel Geist, Leonid Gluhovsky, Dmitry Pidan, Gil Shapir, Yaron Wolfsthal, Lyes Benalycherif, Romain Kamdem, Younes Lahbib
Combining System Level Modeling with Assertion Based Verification. ISQED (2005)
Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. Comput. Electr. Eng. 31 (4-5) (2005)
Romain Kamdem, Alain Fonkoua
Coprocessor Synthesis of Multirate System Using Static Scheduling Theory. IEEE International Workshop on Rapid System Prototyping (2000)
Romain Kamdem, Patrick Njiwoua
Galois Lattice Approach to Hardware/Software Partitioning. PDPTA (1999)
Romain Kamdem, Alain Fonkoua, Andre Zenatti
Hardware/Software Partitioning of Multirate System Using Static Scheduling Theory. ICCD (1999)