computer software for use in analyzing and testing electronic design descriptions created from high definition language input and for developing an intermediate language therefrom; and printed manuals sold therewith