system-verification

Here are 3 public repositories matching this topic...

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

Assignments and Projects for CSE412:Digital Verification subject in Ain Shams University With DR. Ayman Wahba

Digital design fundamentals - a 3rd year CSE banchelor course in ITMO University

Add a description, image, and links to the system-verification topic page so that developers can more easily learn about it.

To associate your repository with the system-verification topic, visit your repo's landing page and select "manage topics."