(25) Section 5.3.2 (Indirect assignments in conditionals) Indirect branch assignments should be illegal inside conditionally executed statements. The LRM doesn't state this and doesn't indicate what behavior should occur if it happens; e.g.; analog begin if ( xx == 2) then V(out) :ddt(V(x)) == 0; end Recommendation: This should be stated as illegal, like other conditionals