Hardware description languages

Books

Formal specification and verification of digital systems

Milne, George W. A. 
Publisher: McGraw-Hill
ISBN10: 007707811X ISBN13: 9780077078119 DDC: 621.39/2 LCC: TK7874.65