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. You can read more about it in the second part of Concurrent Actions in Specman.

One of our readers, Kaushal Modi, has got our attention with a new language called Nim. As the Nim website indicates “Nim is a statically typed compiled systems programming language with a design that focuses on efficiency, expressiveness, and elegance“. Kaushal pointed out that instead of using C language to connect to SystemVerilog via DPI-C, Nim could replace C language or it could be a proxy with other languages. Here is a presentation on Nim, DPI-C and SystemVerilog.

Yoav Hollander(Foretellix) posted ASAM, DeepMind, Tesla and more, an article that touches few interesting topics for autonomous vehicles verification. As an appetizer you can have a look at DeepMind‘s paper “Rigorous Agent Evaluation: an adversarial approach to uncover catastrophic failures” that presents a method for bug hunting and risk estimation of Machine-Learning-based systems.

In AMIQ Resources page you can find the contents of AMIQ’s bookshelf, conference papers, various cheatsheets, recommended articles, and the blogs we periodically scan for recommended articles.
Enjoy!

Comments

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Subscribe to our newsletter

Do you want to be up to date with our latest articles?