Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. Hardware Design

Hardware Design and Petri Nets

Posted By: AvaxGenius
Date: 8 Jan 2024 02:35:22
Hardware Design and Petri Nets

Hardware Design and Petri Nets by Alex Yakovlev, Luis Gomes, Luciano Lavagno
English | PDF | 2000 | 335 Pages | ISBN : 0792377915 | 30 MB

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool..
Details

Digital System Design, 2020 Edition

Posted By: readerXXI
Date: 2 Apr 2023 15:05:23
Digital System Design, 2020 Edition

Digital System Design, 2020 Edition
by Vedant Chikhale
English | 2020 | ASIN: B088ZYJSKP | 76 Pages | AZW3/PDF | 2.88 MB
Details

Computer Arithmetic of Numbers, Vectors, Figures and Functions : Algorithms and Hardware Design, 2nd Editing

Posted By: readerXXI
Date: 11 Jun 2022 12:18:58
Computer Arithmetic of Numbers, Vectors, Figures and Functions : Algorithms and Hardware Design, 2nd Editing

Computer Arithmetic of Numbers, Vectors, Figures and Functions :
Algorithms and Hardware Design, 2nd Editing
by Solomon I. Khmelnik
English | 2022 | ISBN: 9781471758614 | 662 Pages | True PDF | 31 MB
Details

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach (Repost)

Posted By: AvaxGenius
Date: 21 Feb 2022 12:17:08
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach (Repost)

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach by David M. Russinoff
English | PDF,EPUB | 2019 | 388 Pages | ISBN : 3319955128 | 22.9 MB

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies.
Details

Retrocomputing with Clash: Haskell for FPGA Hardware Design

Posted By: yoyoloit
Date: 7 Dec 2021 06:28:23
Retrocomputing with Clash: Haskell for FPGA Hardware Design

Retrocomputing with Clash
by Gergő Érdi
English | 2021 | ISBN: N/A | 542 pages | True PDF EPUB MOBI | 23.95 MB
Details

Artificial Intelligence Hardware Design: Challenges and Solutions

Posted By: yoyoloit
Date: 5 Sep 2021 10:59:52
Artificial Intelligence Hardware Design: Challenges and Solutions

Artificial Intelligence Hardware Design
by Liu, Albert (Chun-Chen);Law, Oscar Ming Kin;, Oscar Ming Kin Law
English | 2021 | ISBN: 1119810450 | 233 pages | True (PDF EPUB) | 64.33 MB
Details
UPWARDS