SystemVerilog: differenze tra le versioni

Versione delle 15:29, 20 mag 2023

Versione delle 22:56, 20 mag 2023

Riga 6:

|data = 2002

|versione = IEEE 1800-2017

|utilizzo = [[Linguaggio di descrizione dell'hardware]]

|paradigmi = Design: [[Programmazione strutturata | programmazione strutturata]], verifica: [[Programmazione orientata agli oggetti | programmazione orientata agli oggetti]]

|paradigmi = A oggetti

|tipizzazione = Statico, debole

|influenzato_da = Design: [[Verilog]], [[VHDL]], [[C++]],

VerificationVerifica: [[OpenVera]], [[Java (programming language)|Java]]

|ha_influenzato =

|implementazione_riferimento =

Riga 145:

Le istanze delle classi vengono create dinamicamente con laparola chiave <code>new</code>. È possibile definire un [[Costruttore (informatica)|costruttore]] denotandolo come <code>function new</code> . SystemVerilog implementa [[Garbage collection|la garbage collection]], quindi non c'è alcuna funzione del linguaggio per distruggere in modo esplicito le istanze create dall'operatore new.

EsempioAd esempio:<syntaxhighlight lang="systemverilog" line="1">

virtual class Memory;

virtual function bit [31:0] read(bit [31:0] addr); endfunction

Riga 317:

Nella sintesi del progetto (trasformazione di una descrizione del progetto hardware in una [[netlist]]), l'adozione di SystemVerilog è stata lenta. Molti team di progettazione utilizzano flussi di progettazione che coinvolgono più strumenti di fornitori diversi. La maggior parte dei team di progettazione non può migrare a progetti RTL basati su SystemVerilog fino a quando l'intera suite di strumenti front-end ([[Lint (software)|linter]], [[verifica formale]] e [[Generazione di programmi di prova automatici|generatori di strutture di test automatizzate]] ) non supporta un sottoinsieme linguistico comune.

== GuardaVoci anchecorrelate ==

* [[Verilog-AMS]]

* Elenco dei simulatori HDL (Cerca SV2005)

* [[SystemC|SistemaSystem C]]

* Verilog-AMS

* e (lingua di verifica)

* SpecC

* Accellera

* [[SystemC|Sistema C]]

* SystemRDL

== Riferimenti ==

Line 346 ⟶ 341:

== Link esterni ==

<nowiki>[[Categoria:Linguaggi di descrizione hardware]]</nowiki>

<nowiki>

[[Categoria:Linguaggi di descrizione hardware]]</nowiki>