M .V. Achutha Kiran Kumar – författare
Visar alla böcker från författaren M .V. Achutha Kiran Kumar. Handla med fri frakt och snabb leverans.
4 produkter
Formal Verification
An Essential Toolkit for Modern VLSI Design
Av M .V. Achutha Kiran Kumar, Tom Schubert m. fl.
E-bok, 2015
1094 kr
Lägg i varukorg
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically …
Formal Verification
An Essential Toolkit for Modern VLSI Design
Av Erik Seligman, Tom Schubert m. fl.
Häftad, 2023
1183 kr
Lägg i varukorg
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and …
Formal Verification
An Essential Toolkit for Modern VLSI Design
Av M .V. Achutha Kiran Kumar, Tom Schubert m. fl.
E-bok, 2023
1680 kr
Lägg i varukorg
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and …
Formal Verification Testbenches
Using Patterns for Reusable and Repeatable VLSI Design Quality
Av Erik Seligman, M .V. Achutha Kiran Kumar m. fl.
Häftad, 2027
1567 kr
Kommande
Formal Verification (FV) has become an essential technology in the verification of IP, core, or SOC design. The authors' previous book, “Formal Verification: An Essential Toolkit for Modern VLSI Design”, offered the definitive guide to design and validation, with advice to help working engineers …
