AVL Constraints

Although Python provides a rich library of random generators in the random library and numpy library, experienced verification engineers have grown familiar and efficient with System Verilog constraints and distributions.

AVL aims to bridge this gap, without enforcing a specific way of working, allowing the user to choose their preferred workflow.

• Random Constraints
• Z3 Constraints