quality_assurance.quality_assurance_abc_pdr module¶

class quality_assurance.quality_assurance_abc_pdr.ABCPdr(settings)¶

Bases: circa.stages.quality_assurance.quality_assurance_abc_dprove.ABCDprove

QualityAssurance subclass using the pdr command of ABC for circuit validation.

validateCircuit(node)¶

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