Name: Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (en Alemán)
SKU: 62650200
Price: 125149.00 COP
Availability: InStock
Author: Christoph Holzbaur
ISBN: 9783656997764

portada Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (en Alemán)

Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (en Alemán)

Formato

Libro Físico

Editorial

Examicus Verlag

Autor

Christoph Holzbaur

Idioma

Alemán

N° páginas

Encuadernación

Tapa Blanda

ISBN13

9783656997764

Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (en Alemán)

Christoph Holzbaur (Autor) · Examicus Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 20 a 24 días háb.

$ 250.299$ 125.149

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 125.149

¡Envío Gratis! Llega entre el 15 Dic y el 22 Dic a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Erweiterung der Simulation um die Formale Verifikation von Schaltungen mit Analogen und Gemischt Analog-Digitalen Eingangssignalen (en Alemán)"

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.