Typo in verification_unit_binding_indication
Document : IEEE Std 1076‐2019
Page 134 :
verification_unit_binding_dication ::=
use vunit verification_unit_list
Page 556 :
verification_unit_binding_indication ::= [§ 7.3.4]
use vunit verification_unit_list
Issue : Non terminals are different
Edited by Alexandre Lecoq