4Rashinkar P,Paterson P.System on a Chip Verification:Methodology and Techniques[M].[s.l.] :Kluwer Academic Pulishers,2001.
5AEEC.Draft3 of Project Paper 664:Aircraft Data Network,Part7-Avionics Full Duplex Switched Ethernet (AFDX) Network[EB/OL].2004.http://www.arinc.com/aeec.
6Andrews J R.Co-verification of hardware and software for ARM SoC design[M].America:America Eisevier Inc,2005.