A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow | IEEE Conference Publication | IEEE Xplore