Verifikation von Modellen

R2026b

Blöcke, die überprüfen, ob Signale während der Simulation innerhalb festgelegter Grenzen bleiben, z. B. Assertion und Check Static Range

Verwenden Sie Blöcke aus der Bibliothek „Model Verification“, um zu überprüfen, ob Signale während der Simulation die vorgegebenen Grenzen und Bedingungen einhalten. Wenn ein Signal eine Prüfbedingung verletzt, kann der Block eine Warnung anzeigen, die Simulation stoppen oder beides tun und hilft Ihnen damit, Entwurfsfehler frühzeitig zu finden, ohne eigene Testskripte zu schreiben.

Näheres zum Hinzufügen von Blöcken aus dieser Bibliothek zu Ihrem Modell finden Sie unter Add Blocks to Models.

Blöcke

	Assertion	Prüfen, ob ein Signal null ist
	Check Dynamic Gap	Check that gap of possibly varying width occurs in range of signal's amplitudes
	Check Dynamic Range	Check that signal falls inside range of amplitudes that varies from time step to time step
	Check Static Gap	Check that gap exists in signal's range of amplitudes
	Check Static Range	Check that signal falls inside fixed range of amplitudes
	Check Discrete Gradient	Check that absolute value of difference between successive samples of discrete signal is less than specified value
	Check Dynamic Lower Bound	Check that one signal is always less than another signal
	Check Dynamic Upper Bound	Check that one signal is always greater than another signal
	Check Input Resolution	Check that input signal has specified resolution
	Check Static Lower Bound	Check that signal is greater than (or optionally equal to) static lower bound
	Check Static Upper Bound	Check that signal is less than (or optionally equal to) static upper bound