A new verification strategy used to validate an IP implementing ... it was possible to reduce considerably the verification cycle of a CAN Data Layer Implementation, while achieving a high functional ...