Meriam Kallel

System on Chips optimization using ABV and automatic generation of SystemC codes

Rached Tourki, Antoine Perrin, Younes Lahbib, 2007, Microprocess. Microsystems.

Monitoring transaction level SystemC models using a generic and aspect-oriented framework

Rached Tourki, Younes Lahbib, Meriam Kallel, 2012, Int. J. Comput. Aided Eng. Technol..

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

Rached Tourki, Younes Lahbib, Meriam Kallel, 2010, 5th International Conference on Design & Technology of Integrated Systems in Nanoscale Era.

Aspect-based ABV for SystemC transaction level models

Rached Tourki, Younes Lahbib, Meriam Kallel, 2009, 2009 International Conference on Microelectronics - ICM.