Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (in German)
Type
Physical Book
Publisher
Author
Language
German
Pages
56
Format
Paperback
ISBN13
9783656997764

Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (in German)

Christoph Holzbaur (Author) · Examicus Verlag · Paperback

Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (in German) - Christoph Holzbaur

Cheaper New Book Imported to South Africa
Delivery: 14 Dec - 18 Dec Shipping: 13 to 14 business days.
R 575
Faster New Book Imported to South Africa
Delivery: 02 Dec - 08 Dec Shipping: 5 to 6 business days.
R 820
R 575

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (in German)"

Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von gro em Interesse den analogen Teil ebenfalls verifizieren zu können. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong. Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews