More specifically, the constraints include information, such as the number and names of transaction functions that provide the constraints, names of transactors to be generated, types of ports to be used by the transactors, data bit width, correspondence of data signals and bit specification to variables in transaction functions, and specification of state transitions among the transaction functio