Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification - Lucas Klemmer - Books - Springer International Publishing AG - 9783031830921 - March 7, 2025
In case cover and title do not match, the title is correct

Lucas Klemmer
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Price
S$ 190
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 22 - Jul 2

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 7, 2025
ISBN13 9783031830921
Publishers Springer International Publishing AG
Pages 190
Dimensions 150 × 220 × 20 mm   ·   481 g
Language German  

Mere med samme udgiver

See all of Lucas Klemmer ( e.g. Hardcover Book )