1. Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath). (10th January 2017) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (20 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗