Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC