Methodology for synthesis, testing, and verification of pipelined architecture processors from behavioral-level-only HDL code and a case study example | IEEE Conference Publication | IEEE Xplore