Learn More
Wormhole switching is a popular switching technique in interconnection networks. This technique is also prone to deadlocks. Adaptive routing algorithms provide alternative paths that can be used to escape congested areas and prevent some deadlocks to occur. If not designed carefully, these new paths may as well introduce deadlocks. A successful solution to(More)
Wormhole switching is a switching technique nowadays commonly used in networks-on-chips (NoCs). It is efficient but prone to deadlock. The design of a deadlock-free adaptive routing function constitutes an important challenge. We present a novel algorithm for the automatic verification that a routing function is deadlock-free in wormhole networks. A(More)
The following full text is a preprint version which may differ from the publisher's version. Abstract There are only very few natural ways in which arbitrary functions can be combined. One composition operator is override: for arbitrary functions f and g, f > g is the function with domain dom(f) U dom(g) that behaves like f on dom(f) and like g on dom(g) \(More)
Model-based testing is a promising software testing technique for the automation of test generation and test execution. One obstacle to its adoption is the difficulty of developing models. Learning techniques provide tools to automatically derive automata-based models. Automation is obtained at the cost of time and unreadability of the models. We propose an(More)
The Specs The Model The Tools Experiences Electronic Passports The basic protocols are speciied in an ICAO standard. This standard references many other standards. Implementators of the standard have various options in their choice of protocols. Also, the standard is underspeciied, in particular for error conditions. Understanding the speciications and(More)