If SystemC is modeling a system at a very high level of abstraction, this executable can be considered the executable specification of the system, which is one of the methodologies that are suggested ...