Hi all,
Please, I would like to know if someone here is aware of any update/progress related to the "Implementation of a SystemC Assertion Library" developed by Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten and Jacob Smit.
Is that library available for download ?
Thanks in advance,
Fabio
