... as they can be validated statically and at runtime against a choreography description ... offer formal foundations for static and dynamic. validation of WS ...
we propose to focus debug on the interactions between IPs ... traditionally focusses on instructions or above. hardware debug traditionally focusses on clock ...