K. Poulos, K. Adaos, G. P. Alexiou. Automated Generation of the Register Set of a SOC and its Verification Environment. In Sokratis K. Katsikas, Michael Hatzopoulos, Theodoros Apostolopoulos, Dimosthenis Anagnostopoulos, Elias Carayiannis, Theodora A. Varvarigou, Mara Nikolaidou, editors, 18th Panhellenic Conference on Informatics, PCI '14, Athens, Greece, October 2-4, 2014. pages 1-2, ACM, 2014. [doi]
Abstract is missing.