Metadata
Author: cordis
Data
German[de]
Da die meisten Hardwareverifizierungssysteme bei der Formulierung und Expression gewünschter Eigenschaften mit temporaler Logik arbeiten, kann diese Funktion Probleme bereiten, da temporale Logik schwierig in der Erfassung und Handhabung ist.
English[en]
As most hardware verification systems rely on temporal logic to formulate and express desired properties, this feature can be troublesome as temporal logic is difficult to grasp and use.
Spanish[es]
Como la mayoría de sistemas de verificación de hardware se basan en una lógica temporal que formula y expresa las propiedades deseadas, esta característica puede resultar conflictiva, ya que la lógica temporal es difícil de captar y utilizar.
French[fr]
Etant donné que la plupart des systèmes de vérification matériel s'appuient sur la logique temporelle pour formuler et exprimer les propriétés souhaitées, cette fonctionnalité peut poser des problèmes, car la logique temporelle est difficile à comprendre et à utiliser.