Верификации
1. Мeтод верификации комбинационных схем
2. Мeтод верификации конечных автоматов
<обратно>
<на главную>