90 likes | 446 Views
SystemVerilog. History. Enhancement of Verilog 2002 – accellera publishes SystemVerilog 3.0 2004 - accellera publishes SystemVerilog 3.1a 2005 – IEEE standardizes SystemVerilog. What’s in it. Verilog Modeling: New constructs Synthesizable Verification: Testbench automation
E N D
History • Enhancement of Verilog • 2002 – accellera publishes SystemVerilog 3.0 • 2004 - accellera publishes SystemVerilog 3.1a • 2005 – IEEE standardizes SystemVerilog
What’s in it • Verilog • Modeling: • New constructs • Synthesizable • Verification: • Testbench automation • Assertions
SV for Modeling • Verilog • Interfaces • Data types: 2 and 4 levels, int, shortint, longint, byte, logic, typedef • 2-state modeling • Flow control mechanisms: Break, continue, return,… • Casting • And much more ...
SV for Verification • Generation: Constrained random generation • Check: Assertions • Coverage • Semaphores • Test program blocks • Classes • Inheritance • And much more …
Constrained Random Generation • Within class • Fields should be declared as random class packet; randc bit[7:0] addr; rand bit[7:0] data; constraint legal_pkt { addr == 2; } endclass
Interface • Separate communication from functionality • A bundle of wires that simplifies hierarchical connections • The block ‘uses’ an interface
Available Tools • Training • Consulting • Simulators • SVA packages • Methodology • Synopsis, Mentor, Cadence • Everybody has something
Good new capabilities Modeling and verification in same language Apparently – all verification services Suitable for designers? Synthesizable Complicated to learn Immature tools Immature methodology No experience So?