dv-solve
Constraint solver for design verification: constrained-random stimulus and SMT-LIB2
Activity
- Latest release
- 2d ago
- Total releases
- 6
- Cadence
- ~3 days
- Last 12 months
- 6
Details
- License
- Apache-2.0
- First release
- Sep 01, 2026
| Version | Released | |
|---|---|---|
0.4.1
minor
|
0.4.1
minor
Dependencies (7)
|
|
0.3.0
minor
|
0.3.0
minor
Dependencies (7)
|
|
0.2.5
patch
|
0.2.5
patch
Dependencies (7)
|
|
0.2.3
patch
|
0.2.3
patch
Dependencies (7)
|
|
0.2.2
minor
|
0.2.2
minor
Dependencies (7)
|
|
0.1.0
initial
|
0.1.0
initial
Dependencies (7)
|