Automated Generation of the Register Set of a SOC and its Verification Environment. - K. Poulos; Kostas Adaos; George Alexiou (Panhellenic Conference on Informatics, 2014)