Methodology for the verification of a `system on chip'Daniel GeistGiora Biranet al.1999DAC 1999Conference paper