quality_assurance.quality_assurance_ic3 module

class quality_assurance.quality_assurance_ic3.IC3(settings)

Bases: circa.stages.quality_assurance.quality_assurance_abc_dprove.ABCDprove

QualityAssurance subclass using the sat command of Yosys for circuit validation.


Validates the circuit represented by a Node by trying to verify that the circuit meets all its quality constraints.

Parameters:node (Node) – The Node to validate.
Returns:True if the circuit of the given Node is valid, otherwise False.
Return type:bool