|Conference:||Verification Futures 2023 (click here to see full programme)|
|Speaker:||Dr David Long|
|Presentation Title:||Introduction to Verification and SystemVerilog for Beginners|
|Abstract:||It is essential to verify the correct operation of a digital FPGA, ASIC or SoC design before it is manufactured. However, making sense of the verification methodologies, languages and tools used, can be challenging, when first encountered. This presentation gives a brief overview of the current verification landscape, including verification objectives, simulation and formal verification approaches, the languages used and the tools required. It then introduces the main features of SystemVerilog – the most popular language used for verification today. This overview will provide a foundation for verification novices, who subsequently wish to study UVM or Formal Verification in greater detail.|
Dr David Long has been a key member of the Doulos technical team since 2001, specialising in Hardware Description Language-based design and verification. As well as developing, writing, and presenting training courses in leading-edge methodologies for embedded SW development, FPGA, ASIC and SoC design and verification, David regularly contributes to technical papers, tutorials, and conference presentations at major industry events world-wide. He has also provided project support and consultancy for industrial clients in the fields of digital/mixed-signal IC design and verification.
Courses taught include: SystemVerilog, SystemC, UVM, VHDL, Verilog, VHDL-AMS, C and C++ Programming for Embedded Systems and Embedded System Security. David was co-author of the IEEE Standard 1666-2005 SystemC Language Reference Manual and wrote the draft LRM for the SystemC Control, Configuration and Inspection (CCI) working group.