IEEE standard, ATLAS test language. (Institute of Electrical and Electronics Engineers, 1981)