Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "hardware-verification" keyword

verlpy 0.9.1

A library to use Reinforcement Learning (RL) for digital hardware verification
1 version - Latest release: almost 3 years ago - 1 dependent repositories - 14 downloads last month - 21 stars on GitHub - 1 maintainer

cosa 0.3.1

CoreIR Symbolic Analyzer
14 versions - Latest release: about 5 years ago - 5 dependent repositories - 56 downloads last month - 60 stars on GitHub - 2 maintainers

Related Keywords

reinforcement-learning 1 formal-methods 1 formal-verification 1 model-checking 1 satisfiability-modulo-theories 1 systemverilog 1 verilog 1