PyPI page
Home page
Author:
Satchel Hamilton
License:
MIT
Summary:
An agent that synthesizes formal properties for RTL, runs a model checker, and iterates on counterexamples.
Latest version:
0.0.2
Required dependencies:
anthropic
|
pydantic
Optional dependencies:
hypothesis
|
matplotlib
|
mypy
|
pytest
|
ruff
|
yowasp-yosys
Downloads last day:
4
Downloads last week:
21
Downloads last month:
7
7-day smoothing