IEC TR 63051 Edition 1.0 2017-01 TECHNICAL REPORT Documentation on design automation subjects – Mathematical algor...