Home > Research > Students/Post-docs > Madhav Jha

Madhav Jha

Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker

Monday 1 January 2007

Years: 2007 (Bachelor of engineering)
Subject: Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License