1. A method of specification for verification of a structural register-transfer level implementation of a scheduled behavioral, said method comprising the steps of verifying the validity of register sharing and checking intra-cycle equivalence.