| 2007 |
|---|
| 6 | EE | Romain Kamdem:
Hardware/Firmware Verification of Graphic IP.
IEEE International Workshop on Rapid System Prototyping 2007: 48-56 |
| 2005 |
|---|
| 5 | EE | 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: 310-315 |
| 4 | EE | Younes Lahbib,
Romain Kamdem,
Mohamed-Lyes Benalycherif,
Rached Tourki:
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC.
Computers & Electrical Engineering 31(4-5): 282-302 (2005) |
| 2000 |
|---|
| 3 | EE | Romain Kamdem,
Alain Fonkoua:
Coprocessor Synthesis of Multirate System Using Static Scheduling Theory.
IEEE International Workshop on Rapid System Prototyping 2000: 148-153 |
| 1999 |
|---|
| 2 | EE | Romain Kamdem,
Alain Fonkoua,
Andre Zenatti:
Hardware/Software Partitioning of Multirate System Using Static Scheduling Theory.
ICCD 1999: 640-645 |
| 1 | | Romain Kamdem,
Patrick Njiwoua:
Galois Lattice Approach to Hardware/Software Partitioning.
PDPTA 1999: 3029-3036 |
