تقنيات مراجعة السلوك الصحيح للدوائر والنظم الإلكترونية المعقّدة متضمنا خوارزميات ونظم لمحاكاة الدوائر المتكاملة بالتفصيل على مستوى الترانزستور في نطاقي الزمن والتردد، محاكاة الأحداث المنطقية المتقطعة، المحاكاة المنطقية على مستوى الدورة، محاكاة سلوك دوائرRTL، مراجعة التكافؤ، تحليل التوقيت وحساب القدرة.