Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)