The SDF3 format includes additional information such as processors, NoC, mapping that are not very well integrated in Kiter. Recent edit: Port name should be supported.