EDITOR’S NOTE:
Does the reference to “written” in rule 2 apply to both blocking and nonblocking assignments? I believe it should only apply to
blocking assignments, and that variables written to with nonblocking
assignments should be in the inferred sensitivity list.