Translation of "Functional verification" in German
Increasingly
so-called
property
checkers
are
used
for
functional
verification.
Zur
funktionalen
Verifikation
werden
in
immer
stärkerem
Maße
sogenannte
Eigenschaftsprüfer
eingesetzt.
EuroPat v2
In
addition,
using
simulation
as
the
principal
work
horse
in
functional
verification
is
standard.
Weiterhin
ist
der
Einsatz
von
Simulation
als
Hauptarbeitspferd
bei
der
funktionalen
Verifikation
üblich.
EuroPat v2
Verification
of
low-power
design
functionality
can
be
proven
in
an
RTL
environment
with
power-aware
functional
verification.
Die
Verifikation
der
Low-Power-Designfunktionalität
lässt
sich
in
einer
RTL-Umgebung
mit
power-aware
funktionaler
Verifikation
erproben.
ParaCrawl v7.1
Such
properties
are
generally
known
to
the
person
skilled
in
the
art
of
functional
verification
of
digital
circuits.
Solche
Eigenschaften
sind
dem
Fachmann
aus
dem
Gebiet
der
funktionalen
Verifikation
digitaler
Schaltungen
generell
bekannt.
EuroPat v2
The
quality
of
the
RTL-description
after
functional
verification
is
decisive
for
the
success
of
a
circuit
design
project.
Die
Qualität
der
RTL-Beschreibung
nach
der
funktionalen
Verifikation
ist
entscheidend
für
den
Erfolg
eines
Schaltungsentwurfsprojekts.
EuroPat v2
Before
any
on-board
functional
verification
can
take
place,
the
interoperability
constituents
included
in
the
assembly
shall
have
been
assessed
in
accordance
with
section
6.1
above
resulting
in
an
EC
declaration
of
conformity.
Bevor
eine
Funktionsprüfung
der
Fahrzeugausrüstung
stattfinden
kann,
müssen
die
in
der
Ausrüstung
enthaltenen
Interoperabilitätskomponenten
gemäß
Abschnitt
6.1
geprüft
worden
sein
und
über
eine
EG-Konformitätserklärung
verfügen.
DGT v2019
Before
track-side
functional
verification
can
take
place
the
interoperability
constituents
included
in
the
assembly
shall
have
been
assessed
in
accordance
with
section
6.1
(interoperability
constituants)
above
and
have
an
EC
declaration
of
conformity.
Bevor
eine
Funktionsprüfung
der
Streckenausrüstung
stattfinden
kann,
müssen
die
in
der
Ausrüstung
enthaltenen
Interoperabilitätskomponenten
gemäß
Abschnitt
6.1
(Interoperabilitätskomponenten)
geprüft
worden
sein
und
über
eine
EG-Konformitätserklärung
verfügen.
DGT v2019
Before
track-side
functional
verification
can
take
place
the
interoperability
constituents
included
in
the
assembly
shall
have
been
assessed
in
accordance
with
section
6.1
(Interoperability
constituents)
above
and
have
an
EC
declaration
of
conformity.
Bevor
eine
Funktionsprüfung
der
Streckenausrüstung
stattfinden
kann,
müssen
die
in
der
Ausrüstung
enthaltenen
Interoperabilitätskomponenten
gemäß
Abschnitt
6.1
(Interoperabilitätskomponenten)
geprüft
worden
sein
und
über
eine
EG-Konformitätserklärung
verfügen.
DGT v2019
With
the
support
of
Mentor’s
team
of
verification
experts,
CES
Design
Services
used
the
AVM
to
establish
a
functional
verification
process
supporting
automatic
testbench
creation,
reuse,
and
first-pass
success.
Mit
Unterstützung
der
Verifikationsexperten
von
Mentor
verwendete
CES
Design
Services
die
AVM
zur
Errichtung
eines
funktionalen
Verifikationsprozesses,
der
automatische
Erzeugung
von
Testbenches,
Wiederverwendung
und
First-Pass-Success
unterstützt.
ParaCrawl v7.1
Firstly,
theoretical
challenges
were
addressed
in
order
to
facilitate
the
functional
and
chronological
verification
of
software
systems
to
a
realistic
extent.
Zum
einen
wurden
theoretische
Herausforderungen
adressiert,
um
eine
funktionale
und
zeitliche
Verifikation
von
Softwaresystemen
mit
realistischem
Umfang
zu
ermöglichen.
ParaCrawl v7.1
For
the
purpose
of
functional
verification
of
highly
integrated
microelectronic
circuits,
it
is
usual
to
use
logic
simulation
in
the
development
phase.
Zur
funktionalen
Verifikation
hoch
integrierter
mikroelektronischer
Schaltkreise
ist
es
üblich,
in
der
Entwicklungsphase
eine
Logiksimulation
einzusetzen.
EuroPat v2
The
automatic
generation
of
counter-examples
and
the
rapid
checking
of
the
property
for
all
possible
input
patterns
constitute
a
considerable
advancement
in
the
functional
verification
vis-à-vis
simulation.
Die
automatische
Erzeugung
von
Gegenbeispielen
und
die
schnelle
Prüfung
der
Eigenschaft
auf
allen
möglichen
Eingabemustern
ist
für
die
funktionale
Verifikation
ein
großer
Fortschritt
gegenüber
der
Simulation.
EuroPat v2
The
invention
also
proposes
a
procedure
for
the
functional
verification
of
digital
circuits,
in
which
the
circuit
is
checked
using
a
quantity
of
properties
whose
value
was
determined
as
described
previously
and
corresponds
to
a
defined
designation.
Die
Erfindung
schlägt
auch
ein
Verfahren
zur
funktionalen
Verifikation
digitaler
Schaltungen
vor,
bei
welchem
die
Schaltung
mit
einer
Menge
von
Eigenschaften
überprüft
wird,
deren
Güte
wie
vorangehend
beschrieben
bestimmt
wurde
und
einer
definierten
Vorgabe
entspricht.
EuroPat v2
The
fact
that
the
mechanisms
for
the
detection
of
errors
(that
is,
the
monitors
or
properties)
could
themselves
be
flawed
and
conceal
circuit
errors
as
a
result
thereof
is
a
characteristic
of
every
functional
verification.
Dass
die
Mechanismen
zur
Fehlererkennung
(d.h.
die
Monitore
oder
die
Eigenschaften)
selber
fehlerhaft
sein
können,
und
damit
Schaltungsfehler
verbergen,
ist
eine
Eigenart
jeder
funktionalen
Verifikation.
EuroPat v2
When
performing
functional
verification,
an
RTL-description
of
a
circuit
is
verified
as
to
whether
it
will
function
properly.
Bei
der
funktionalen
Verifikation
wird
eine
RTL-Beschreibung
einer
Schaltung
daraufhin
geprüft,
ob
sie
richtig
funktionieren
wird.
EuroPat v2
The
Questa
MVC
library
dramatically
improves
verification
coverage
and
helps
speed
the
functional
verification
of
integrated
circuits
(ICs)
using
industry
standard
protocols.
Die
Questa-MVC-Bibliothek
verbessert
die
Verifikationsabdeckung
erheblich
und
hilft,
die
funktionale
Verifikation
integrierter
Schaltungen
(ICs)
mittels
Industriestandard-Protokollen
zu
beschleunigen.
ParaCrawl v7.1
The
announcement
includes
the
new
Questa
6.3
functional
verification
platform
addressing
low-power
verification,
and
powerful
verification
management
capabilities
that
enable
closed-loop
management
reporting,
analysis
and
documentation.
Die
Erweiterung
umfasst
die
neue
funktionale
Verifikationsplattform
Questa
6.3.
Diese
unterstützt
Low-Power-Verifikation
und
bietet
leistungsfähige
Funktionen
zum
Verifikationsmanagement,
die
Closed-Loop-Management-Reporting,
Analyse
und
Dokumentation
ermöglichen.
ParaCrawl v7.1
As
part
of
the
GaNIAL
research
project,
the
researchers
have
provided
functional
verification
of
full
functionality
in
a
GaN
power
IC.
Im
Rahmen
des
Forschungsprojektes
GaNIAL
haben
die
Forscher
den
Funktionsnachweis
all
dieser
Funktionen
in
einem
IC
erbracht.
ParaCrawl v7.1
Developers
could
verify
the
model,
but
to
ensure
the
model-generated
code
properly
managed
a
real-world
situation,
the
code
had
to
be
extracted,
instrumented,
connected
to
an
execution
harness,
and
executed
against
functional
verification
data.
Entwickler
können
das
Modell
verifizieren,
aber
um
sicherzustellen,
dass
der
mittels
des
Modells
erzeugte
Code
eine
Situation
in
der
realen
Welt
widerspiegelt,
musste
der
Code
extrahiert,
instrumentiert
mit
einem
Testrahmen
verknüpft
werden,
um
dann
anhand
funktionaler
Verifizierungsdaten
ausgeführt
werden.
ParaCrawl v7.1
With
this
first
setup
a
functional
verification
of
the
device
was
achieved
and
the
miniaturized
sensor
chip
can
be
used
for
oxygen
measurements
in
gases.
Mit
diesem
ersten
Aufbau
wurde
ein
Funktionsnachweis
des
Bauelementes
erreicht
und
der
miniaturisierte
Sensorchip
kann
für
Sauerstoffmessungen
in
Gasen
eingesetzt
werden.
ParaCrawl v7.1
The
goal
of
this
project
is
to
develop
formal
verification
techniques
which
allow
to
check
properties
of
voting
rules
without
the
huge
overhead
of
user
interaction
needed
in
full
functional
verification.
Das
Ziel
des
Projektes
ist
die
Entwicklung
formaler
Verifikationstechniken,
die
es
erlauben,
Eigenschaften
von
Wahlverfahren
ohne
den
riesigen
Overhead
einer
für
eine
voll-funktionale
Verifikation
notwendigen
Nutzer-Interaktion
zu
überprüfen.
ParaCrawl v7.1
Microchip
partners
with
LDRA
to
provide
functional
safety
verification
&
support
for
automotive
(ISO
26262),
industrial
safety
(IEC
61508),
and
rail
(EN
50128)
applications
using
PIC
microcontrollers
Microchip
wird
Partner
von
LDRA
und
stellt
funktionale
Sicherheitsverifizierung
und
-unterstützung
bezüglich
automobiler
(ISO
26262,
industrieller
Sicherheits-
(IEC
61508)
und
Eisenbahn-
(EN
50128)
Anwendungen
beim
Einsatz
von
PIC
Mikrokontroller
zur
Verfügung.
ParaCrawl v7.1
The
UVM
delivers
productivity
gains
made
possible
by
reuse
in
functional
verification.
Die
UVM
steigert
die
Produktivität
in
der
funktionalen
Verifikation,
da
sie
die
Wiederverwendung
bestimmter
Verifikations-Komponenten
unterstützt.
ParaCrawl v7.1
Specification
and
Functional
Verification
of
Smart
Contracts
The
goal
of
this
project
is
to
pave
the
way
for
specification
and
formal
verification
of
smart
contracts.
Spezifikation
und
funktionale
Verifikation
von
Smart
Contracts
Ziel
dieses
Projekts
ist
es,
Wege
für
die
Spezifikation
und
formale
Verifikation
von
Smart
Contracts
zu
schaffen.
ParaCrawl v7.1
The
project
work
focused
on
the
integrated
functional
and
chronological
verification
of
automobile
control
software
such
as
that
which
controls
braking
and
speed.
Die
Projektarbeit
konzentrierte
sich
auf
die
integrierte
funktionale
und
zeitliche
Verifikation
von
Steuersoftware
im
Auto,
wie
beispielsweise
von
Bremsen
oder
der
Geschwindigkeitsregelung.
ParaCrawl v7.1
Combining
these
new
tools
with
the
Questa
functional
verification
platform,
the
Open
Verification
Methodology
(OVM),
and
standards
like
SystemVerilog,
Mentor
is
opening
the
doors
to
broader
adoption
of
breakthrough
verification
flows.
Durch
die
Kombination
dieser
neuen
Werkzeuge
mit
der
funktionalen
Verifikationsplattform
Questa,
der
Open
Verification
Methodology
(OVM)
und
Standards
wie
SystemVerilog
öffnet
Mentor
die
Türen
für
den
breiteren
Einsatz
von
wegweisenden
Verifikations-Flows.
ParaCrawl v7.1
Services
for
retail
companies:
functional
verification
and
interoperability
of
consumer
products,
control
sample
of
quality
of
production,
batch
control
outgoing
and
incoming,
performance
and
comparative
tests
of
products
to
market.
Dienstleistungen
für
Handelsunternehmen:
funktionale
Verifikation
und
Interoperabilität
von
Konsumgütern,
Kontrollprobe
von
der
Qualität
der
Produktion,
Batch-Steuerung
abgehende
und
ankommende,
Leistung
und
vergleichende
Tests
auf
die
Produkte
zu
Vermarktung.
ParaCrawl v7.1