Polynomial Formal Verification of Arithmetic Circuits 1
bokomslag Polynomial Formal Verification of Arithmetic Circuits
Data & IT

Polynomial Formal Verification of Arithmetic Circuits

Alireza Mahzoon • Rolf Dreschler

Häftad

1079:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 86 sidor
  • 2024
  • Författare: Alireza Mahzoon, Rolf Dreschler
  • Format: Häftad
  • ISBN: 9781638284048
  • Språk: Engelska
  • Antal sidor: 86
  • Utgivningsdatum: 2024-09-16
  • Förlag: Now Publishers

Du kanske gillar

  1. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Pocket

    1519:-
  2. bokomslag KI-94: Advances in Artificial Intelligence

    KI-94: Advances in Artificial Intelli...

    Leonie Dreschler-Fischer Bernhard Nebel

    Pocket

    749:-
  3. bokomslag From CNN to Dnn Hardware Accelerators: A Survey on Design, Exploration, Simulation, and Frameworks

    From CNN to Dnn Hardware Accelerators...

    Leonardo Rezende Juracy, Rafael Garibotti, Rafael Garibotti, Fernando Gehm Moraes

    Häftad

    1089:-
  4. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Inbunden

    1519:-
  5. bokomslag Hardware Software Co-Design of a Multimedia SOC Platform

    Hardware Software Co-Design of a Mult...

    Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu

    1429:-
  6. bokomslag Computer Aided Design and Design Automation

    Computer Aided Design and Design Auto...

    Wai-Kai Chen Wai-Kai Chen

    Inbunden

    2909:-
  7. bokomslag Cloud and Edge Computing for Connected and Automated Vehicles

    Cloud and Edge Computing for Connecte...

    Qi Zhu, Bo Yu, Ziran Wang

    Häftad

    1609:-
  8. bokomslag Rivstart A1/A2 Övningsbok, tredje upplagan

    Rivstart A1/A2 Övningsbok, tredje upp...

    Paula Levy Scherrer • Karl Lindemalm

    Häftad

    389:-
  9. bokomslag Rivstart A1/A2 Textbok, tredje upplagan

    Rivstart A1/A2 Textbok, tredje upplagan

    Paula Levy Scherrer • Karl Lindemalm

    Häftad

    539:-
  10. bokomslag Self-Powered Wearable IoT Devices for Health and Activity Monitoring

    Self-Powered Wearable IoT Devices for...

    Ganapati Bhat, Ujjwal Gupta, Yigit Tuncel, Fatih Karabacak, Sule Ozev

    Pocket

    1469:-

Andra av samma författare

  1. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Inbunden

    1519:-
  2. bokomslag Formal Verification of Structurally Complex Multipliers

    Formal Verification of Structurally C...

    Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Pocket

    1519:-