High-level specification and logic implementation of single-chip multiprocessor systems based on a configurable router | IEEE Conference Publication | IEEE Xplore