Sleipnir is a tool for randomizing software data types in python. It is designed to help aid design verification of complex SoC designs. This repo contains the sleipnir tool and a set of examples.
- Updated
Feb 19, 2025 - Python
#
design-verification
Here are 2 public repositories matching this topic...
A Neuro-Symbolic Framework for Fault Localization in VLSI Circuits
- Updated
Aug 22, 2025 - Python
Improve this page
Add a description, image, and links to the design-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the design-verification topic, visit your repo's landing page and select "manage topics."