QualityAssurance subclass using the
satcommand 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.
Trueif the circuit of the given Node is valid, otherwise
Return type: bool