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