This is an old revision of the document!


The spec sublanguage

The spec sublanguage is used to specify properties or requirements for the circuit.