التجريد, التحقق, تصميم إلكتروني, مستوى النظامتصميم الأنظمة الإلكترونية والتحقق منها على مستوى النظام (Electronic System-Level Design and Verification)