PyPI page
Author:
Matthew Ballance
License:
Apache-2.0
Summary:
Constraint solver for design verification: constrained-random stimulus and SMT-LIB2
Latest version:
0.2.3
Optional dependencies:
dv-flow-libhdlsim
|
dv-flow-mgr
|
dv-solve
|
pytest
|
zuspec-be-sv
|
zuspec-dataclasses
|
zuspec-ir-core
Downloads last day:
11
Downloads last week:
76
Downloads last month:
148
7-day smoothing