Specification and Validation of Distributed IP-Based Designs with JavaCAD.

Marcello Dalpasso, Alessandro Bogliolo, Luca Benini

Browse the full DATE paper archive.