"Vlsi Specification, Verification and Synthesis " - читать интересную книгу автора (Graham Birtwistle, P.A. Subrahmanyam)