Projekt

Symbolische Zeitanalyse asynchroner Schaltungen

Symbolic Timing Analysis, Hybrid Delay Models, Formal Verification, Differentiable Timing, Digital Integrated Circuits, Naturwissenschaften, Technische Wissenschaften, Elektrotechnik, Elektronik, Informationstechnik, Mathematik, Computeralgebra, Dynamische Systeme, Mathematische Modellierung, Integrierte Schaltkreise

• Symbolic Timing Analysis
• Hybrid Delay Models
• Formal Verification
• Differentiable Timing
• Digital Integrated Circuits
• Naturwissenschaften
• Technische Wissenschaften
• Elektrotechnik, Elektronik, Informationstechnik