System-on-chip methodologies & design languages - Ashenden, Peter J. (Kluwer Academic Publishers, 2001)