BS PD IEC/TR 63051:2017
BS PD IEC/TR 63051:2017
Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)
standard by BSI Group, 01/31/2017