A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits

Bok av National Aeronautics And Space Adm Nasa