The assertions do not model circuit activity, but capture and document the designer's intent in the HDL code.
اظهارات یک مدل مداری فعالی درست نمی‌کند اما ضبط و اسناد منظور طراح در کد HDL است.