1

On the partitioning of syntax and semantics for hybrid systems tools
Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highly nontrivial to prove (or disprove) …
Jonathan Sprinkle, Aaron D Ames, Alessandro Pinto, Haiyang Zheng, S Shankar Sastry
PDF Cite
Efficient synthesis of networks on chip
We propose an efficient heuristic for the constraint-driven communication synthesis (CDCS) of on-chip communication networks. The …
Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli
PDF Cite
Constraint-driven communication synthesis
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a …
Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli
PDF Cite