|
Search the dblp DataBase
Younes Lahbib:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] ISQED, 2005, pp:310-315 [Conf]
- Younes Lahbib, Meriam Kallel, Ayoub Dhouib, Maher Hechkel, Antoine Perrin, Rached Tourki
System on Chips optimization using ABV and automatic generation of SystemC codes. [Citation Graph (0, 0)][DBLP] Microprocessors and Microsystems, 2007, v:31, n:7, pp:433-444 [Journal]
- Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. [Citation Graph (0, 0)][DBLP] Computers & Electrical Engineering, 2005, v:31, n:4-5, pp:282-302 [Journal]
Search in 0.002secs, Finished in 0.002secs
|