Younes Lahbib

Combining System Level Modeling with Assertion Based Verification

A. Dahan, Daniel Geist, L. Gluhovsky et al. · 2005 · 60 citations

Engineering, Computer Engineering, Computer Science +16

Verification of SystemC transaction level models using an aspect-oriented and generic approach

Meriam Kallel, Younes Lahbib, Rached Tourki et al. · 2010 · 19 citations

Engineering, Computer Engineering, Computer Science +17

Very Low Power Neural Network FPGA Accelerators for Tag-Less Remote Person Identification Using Capacitive Sensors

Marwen Roukhami, Mihai T. Lazarescu, Francesco Gregoretti et al. · IEEE Access · 2019 · 17 citations · Full text

Engineering, Computer Engineering, Computer Science +17

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

Younes Lahbib, R. Kamdem, Mohamed-lyes Benalycherif et al. · Computers & Electrical Engineering · 2005 · 11 citations

Engineering, Computer Engineering, Computer Science +16