Recommended Articles

Recommended Articles – May 2019

Cristian Bob posted a new article showing how to connect Python to e-language: How to Connect e-Language with Python. Dan Gisselquist has written an interesting tutorial regarding formal methods: SVA and FormalTools: An Introduction to Formal Methods. A long-awaited feature for e-language has now been released by the Specman Team: spawning multiple processes using loops. […]

Cristian Bob

How to Connect e-Language with Python

This post is an addition to the previous post How to connect SystemVerilog with Python. The principles of connecting e-Language with Python are similar to those presented in the aforementioned post. Table of contents Create the e-Language-to-C Interface Client Layer Code Changes Create the Top Modules How To Run the Example Create the e-Language-to-C Interface […]

Recommended Articles

Recommended Articles – March 2019

Cristian Bob (AMIQ) leveraged the power of Python into a SystemVerilog testbench using a client-server architecture. The post How to Connect SystemVerilog with Python is a must-read if you use or plan to use Python along with SystemVerilog. It is natural to see Python infiltrating the verification world given it’s popularity (see TIOBE index) and […]

Cristian Bob

How to Connect SystemVerilog with Python

Verification of a digital design often requires an interaction between several language domains (SystemVerilog and C, SystemVerilog and Python, SystemVerilog and e-language, etc.). This article shows you how to set up a connection between SystemVerilog and Python. SystemVerilog is not able to communicate directly with Python. Instead, the SV code first needs to talk to […]

Recommended Articles

Recommended Articles – February 2019

It looks like February is a short month and probably people were focused more on preparing for the DvCon US 2019 conference. Let’s meet again in March with new and interesting technical content from our domain. In AMIQ Resources page you can find the contents of AMIQ’s bookshelf, papers and the list of blogs we […]

Recommended Articles

Recommended Articles – January 2019

New entry on our list. Recently, I found a new source of interesting papers related to UVM and Verification. It is the Rochester Institute of Technology (RIT) Scholar Works. RIT is a tech University from New-York, USA. Of particular interest are the theses papers published on their website. Here are some papers which tackle various […]