Dataset - CKAN

Asynchronous monitors synthesis from temporal assertions for the robust obser...

With the advent of complex integrated systems, the assertion based verification(ABV) has emerged as a solution for the semi-formal circuits verification. The ABV is...
- HTML

You can also access this registry using the API (see API Docs).