-- System-on-Chip Verification Process Using UML -- SoftContract: Model-Based Design of