Formal specification and verification of digital systems /
Milne, George J.,1952-
London : McGraw-Hill,
c1994.
Digital integrated circuits
Integrated circuits
Hardware description languages.