search

Nic30 / pycocotb

COCOTB like Verilator wrapper
8 stars 0 forks source link

Hello - PyCocoTB Successfully Implemented in Docker Ubuntu:14.04 Container #4

Closed ycrad closed 5 years ago

ycrad commented 5 years ago

Hello,

First of all this is not an issue, but I did not know where to place a comment. And second of all, thanks for opening the door from Python to Verilator simulation!

I am interested in Verilator working with CocoTB

BTW, RTL Verification is my day job and I typically use any/all of the Big 3 simulators and various verification languages/tools. I have also recently seen companies using Verilator to vet their SystemC models before translating to Verilog and running in Verilator, and then in one of the Big 3 simulators when it comes time for ASIC sign-off. They use C++ as the verification language with SystemC or Verilog as the target DUT.

Finally, I built this PyCocoTB application with Verilator, Icarus, and CocoTB in a Docker ubuntu:14.04 container

I intend to probe deeper to see if this approach is an improvement in RTL verification. And I may be able to lend a hand at the same time.

Thanks, Darcy

Nic30 commented 5 years ago

Hello Darcy,

thanks for the message.

I am planing to use PyCocoTB together with code generators. The reason I building this library is to have introspection and control over simulation from the simulation. With current solution like ModelSim + SystemVerilog it is practicaly not possible to automatically generate the ver. environment and there is always some problem and you can not run commercial tools in the free cloud easily.

Probably in next 2 week I will finish VHDL 1993/2002/2008/2018 composite grammar for hdlConvertor parser. Then I will contact you (I mean I can not create a task for you right now). Currently I am in a little bit of hurry because of OVS and conference papers.

Best regards, Michal

Nic30 commented 5 years ago

Also maybe add yourself to https://groups.google.com/forum/#!forum/hwt-community (so we can close this issue)