Menu

Home / Questa AutoCheck

Questa AutoCheck

Un'app di ricerca di bug formali completamente automatica per l’identificazione dei problemi dovuti a errori comuni nella codifica RTL

Questa AutoCheck ti aiuta a identificare errori di programmazione durante le fasi di sviluppo del vostro progetto, senza dover attendere il suo completamento. Questa AutoCheck genera automaticamente le proprietà necessarie per supportare una varietà sempre crescente di controlli statici e dinamici come l'analisi dei dead code, dei deadlock nelle macchine a stati finiti, dei cicli combinatori e le funzioni di liveness; il tutto coprendo gli errori di progettazione comuni e tutti gli eventuali corner-case.

Questa Formal Solutions

Questa AutoCheck è fornito da Siemens Digital Industries. Fa parte delle soluzioni Questa Formal, che fornisce la "Power of Formal" a tutti, inclusi gli esperti di settore.

Vantaggi di Questa AutoCheck

questa-autocheck-blue

Facile da usare, ricerca push-button di bug/errori

  • Non è richiesta alcuna conoscenza di Formal o Assertion Base Varification (ABV)!
  • La creazione automatica delle asserzioni elimina la necessità della loro scrittura manuale
  • Sfrutta la medesima piattaforma di debug di Questa Visualizer
questa-autocheck-green

Trova i bug in anticipo durante il ciclo di progettazione

  • Gli utenti possono lanciare la verifica non appena il codice RTL viene scritto o modificato
  • Non sono necessari testbench o asserzioni!
  • Gli utenti non devono preoccuparsi di scrivere semplici test
questa-autocheck-violet

Migliora automaticamente la qualità del progetto

  • Esplora il comportamento della progettazione sequenziale per trovare i corner-case bug che non verranno riportati da lint
  • Trova problemi di progettazione funzionale comuni in registri, FSM, bus e memorie

Find out more about lorem ipsium

Sorry, we couldn't find any posts. Please try a different search.

Scopri di più su Questa AutoCheck

Scarica la presentazione per saperne di più sul debug RTL e altre caratteristiche con Questa AutoCheck

Strumenti per la simulazione e la verifica

Questa CDC Verification

Questa CDC

Questa CDC di Siemens identifica gli errori utilizzando l'analisi strutturale per riconoscere i domini di...

Discover
HDL Designer

HDL Designer

HDL Designer offre un ambiente di progettazione HDL completo che assicura un flusso di progettazione...

Discover
Questa Advanced Simulator

Questa Advanced Simulator

Questa Advanced Simulator è un simulatore e un motore di debug che riduce al minimo...

Discover
Questa Verification IP (QVIP)

Questa Verification IP

Questa Verification IP libera gli ingegneri dal passare il tempo a sviluppare BFM, componenti di...

Discover
FPGA Design Verification

FPGA Design Verification con Questa Prime

Questa è una soluzione fondata su un insieme di tecnologie, metodologie e librerie per la...

Discover
modelsim

ModelSim

ModelSim offre un ambiente completo e facile da usare per la Code Coverage Analysis, un...

Discover

Vuoi ricevere maggiori informazioni su Questa AutoCheck?

Contattaci e risponderemo ai tuoi dubbi e alle tue curiosità in tempi rapidissimi.

Torna su