Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Hardware Implementation and Correctness Proof
    Mikhail Kovalev; Silvia M. Müller; Wolfgang J. Paul
    978-3-319-13906-7
    2014
    Edition 1
    • Demonstrates construction of a multi-core machine with pipelined MIPS processor
    • Broadens the understanding of RISC machines
    • Opens the way to the formal verification of synthesizable hardware for multi-core processors

    €419

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.