Synthesis result after adding assumption “NoUnplugBetweenLockAndUnlock”
‹ Return to Tutorial: Automotive High-Voltage Coupling System
Synthesis result after adding assumption “NoUnplugBetweenLockAndUnlock”
‹ Return to Tutorial: Automotive High-Voltage Coupling System
Synthesis result after adding assumption “NoUnplugBetweenLockAndUnlock”