Volume 4 Number 2 of the International Journal of Design, Analysis and Tools for Integrated Circuits and Systems (IJDATICS)