Documentation on design automation subjects – Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath) (Edition 1.0)
A hardware description language provides a means to describe the behavior of a system precisely and concisely. This document describes the main functional requirements for an HDLMath language and compares existing HDLMath languages from the viewpoint of designers. It is intended to accelerate the standardization of a mathematical algorithm design language and to help establish a new and good system modeling and verification environment.