Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design

By Alberto L. Sangiovanni-Vincentelli. Proceedings of the IEEE, 2007

392 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/72c1793139dea9a7626a0ebbbcd32714ab1578a0

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Rajeev Alur
2. Kim Guldstrand Larsen
3. Alberto L. Sangiovanni-Vincentelli
4. Werner Damm
5. Roberto Passerone

In Hardware and Architecture

1. Rajeev Alur
2. Alberto L. Sangiovanni-Vincentelli
3. Werner Damm
4. Roberto Passerone
5. Thomas A. Henzinger
6. Dejan Nickovic
7. Albert Benveniste
8. Kim Guldstrand Larsen

Citations in the corpus

• Contracts for System Design (2018, methodology): “systematically exploited in Platform Based Design [171] or PLM-centric design, see footnote 4 in Section II.”
• Formal verification of hybrid systems (2011, methodology): “Model-based design offers a promising approach for detecting and correcting errors in early stages of system design [33, 37, 49 ].”