| Test Condition | Ограничьте значения сигналов в тестах |
| Test Objective | Задайте пользовательские цели, которым сигналы должны удовлетворить в тестах |
| Detector | Обнаружьте истинную длительность на входе и создайте выход истинная длительность на основе выходного типа |
| Extender | Расширьте истинную длительность входа |
| Implies | Задайте условие, которое производит определенный ответ |
| Within Implies | Проверьте, что ответ происходит в желаемой длительности |
| Verification Subsystem | Задайте доказательство или цели тестирования, не влияя на результаты симуляции или сгенерированный код |
| Test Condition | Ограничьте значения сигналов в тестах |
| Proof Assumption | Ограничьте значения сигналов при доказательстве свойств модели |
| Proof Objective | Задайте цели, которым сигналы должны удовлетворить при доказательстве свойств модели |
| Detector | Обнаружьте истинную длительность на входе и создайте выход истинная длительность на основе выходного типа |
| Extender | Расширьте истинную длительность входа |
| Implies | Задайте условие, которое производит определенный ответ |
| Within Implies | Проверьте, что ответ происходит в желаемой длительности |
| Verification Subsystem | Задайте доказательство или цели тестирования, не влияя на результаты симуляции или сгенерированный код |