Embedding Sequential Circuits for their Polynomial Formal Verification

Name: Embedding Sequential Circuits for their Polynomial Formal Verification
Brand: Springer
SKU: 32578edaed97556eac832ccb430a9ffd

1/1

Priser från

1.006,45

Utvalda

Beskrivning

Amazon Embedding Sequential Circuits for their Polynomial Formal Verification

Läs mer

Jämför webbutiker (2)

Shop

Pris

1.006,45 kr

Til butik

1.006,45 kr

Til butik

Beskrivning (1)

Embedding Sequential Circuits for their Polynomial Formal Verification

Läs mer

Märke	Springer
EAN	9783658501549

Elsevier

Formal Verification: An Essential Toolkit for Modern VLSI Design

Betascript Publishers

Polynomial Ring: Abstract Algebra, Ring, Polynomial, Hilbert's Basis Theorem, Splitting Field, Quillen-Suslin...

CREATESPACE

The Prophet from Silicon Valley: Complete Story of Sequential Circuits

Springer

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