PyVSC Documentation

Contents:

Classic API (@vsc.randobj)

• Introduction
  • What is PyVSC?
  • Contributors
• Quickstart Guide
  • Installing PyVSC
  • A Simple Example
• PyVSC Data Types
  • Scalar Standard-Width Attributes
  • Scalar Arbitrary-Width Attributes
  • Enum-type Attributes
  • Class-type Attributes
  • Accessing Attribute Values
  • List-type Attributes
• PyVSC Constraints
  • Constraint Blocks
  • Expressions
  • Statements
  • Customizing Constraint Behavior
• PyVSC Coverage
  • Covergroups
  • Coverpoints
  • Providing Coverage Data to Sample
  • Coverage API
  • Coverage Reports
  • Saving Coverage Data
  • Using Coverage Data
• PyVSC Methods
  • Randomization Methods
  • Managing Random Stability
  • Weighted-Random Selection Methods
• PyVSC Features
• Solver Back-ends
  • Selecting a back-end
  • Available back-ends
  • How dv-solve decides
  • Soft constraints
  • Running a regression under both back-ends
  • Behavioral notes
• Debug
  • Enabling Solve-Fail Debug
  • Capturing Source Information
• API Reference
  • Domain-Specific Language API
  • Model API

Dataclass API (vdc)

• Generic Constraints
  • Referencing a generic
  • Boolean composition (PSS Example 136)
  • Parameterized generics
  • Value generics
  • Referencing in randomize_with
  • Inheritance
  • Errors caught at class-definition time

Indices and tables