Demo Data from EDBT 2026 / reviewers in the wild / expert
Mario Diaz-Nava
dblp:94/242
· DBLP profile ↗
4ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 1 since 2021Software engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Electronic design automation · 54% Processor architecture and microarchitecture · 18% Embedded and real-time systems · 18% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Processor architecture and microarchitecture
chip multiprocessor |
0.0 | 1 | 2002 | Component-based design approach for multicore SoCs · DAC 2002 |
Embedded and real-time systems
component-based design |
0.0 | 1 | 2002 | Component-based design approach for multicore SoCs · DAC 2002 |
Electronic design automation
system-level design |
0.0 | 1 | 2002 | Component-based design approach for multicore SoCs · DAC 2002 |
Electronic design automation › high-level synthesis › behavioral transformation
behavioral synthesis |
0.0 | 1 | 1999 | Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper · DAC 1999 |
Electronic design automation
high-level synthesis |
0.0 | 1 | 1999 | Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper · DAC 1999 |
Electronic design automation › high-level synthesis
register-transfer level synthesis |
0.0 | 1 | 1999 | Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper · DAC 1999 |
Integrated circuit design
ASIC design |
0.0 | 1 | 2002 | Component-based design approach for multicore SoCs · DAC 2002 |
Integrated circuit design
digital circuit design |
0.0 | 1 | 1999 | Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper · DAC 1999 |
Methods — techniques the papers use, named apart from their topics
wrapper generation · 0.0systemc · 0.0behavioral synthesis · 0.0RTL synthesis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera |
J. Supercomput. | 7 |
| 2004 | Multi-Processor SoC Design Methodology Using a Concept of Two-Layer Hardware-Dependent SoftwareabstractIn conventional multiprocessor SoC (MPSoC) design methods, we find two problems: lack of SW code portability and lack of early SW validation. The problems cause a long design cycle. To resolve them, we present a concept of two-layer hardware-dependent software (HdS). The presented HdS consists of hardware abstraction layer to abstract the sub-system architecture and SoC abstraction layer to abstract the global MPSoC architecture. During the exploration of global and sub-system architectures, the application programming interfaces of presented two-layer HdS allow to keep the SW independent from architectural change. The simulation models of two-layer HdS enable to validate the entire system including the SW and HW design early in the design steps. We show the effectiveness of the presented methodology in the MPSoC architecture exploration of an OpenDiVX encoder system design. Sungjoo Yoo, Mohamed-Wassim Youssef, Aimen Bouchhima, Ahmed Amine Jerraya, Mario Diaz-Nava |
DATE | 5 |
| 2002 | Component-based design approach for multicore SoCsabstractThis paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitives to build complex architectures from basic components. This bottom-up approach allows design-architects to explore efficient custom solutions with best performances. This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. The system specifications are represented as a virtual architecture described in a SystemC-like model and annotated with a set of configuration parameters. Our component-based design environment provides automatic wrapper-generation tools able to synthesize hardware interfaces, device drivers, and operating systems that implement a high-level interconnect API. This approach, experimented over a VDSL system, shows a drastic design time reduction without any significant efficiency loss in the final circuit. Wander O. Cesário, Amer Baghdadi, Lovic Gauthier, Damien Lyonnard, Gabriela Nicolescu, Yanick Paviot, Sungjoo Yoo, Ahmed Amine Jerraya, Mario Diaz-Nava |
DAC | 9 |
| 1999 | Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM ShaperabstractThis paper describes the experience and the lessons learned during the design of an ATM traffic shaper circuit using behavioral synthesis. The experiment is based on the comparison of the results of two parallel design flows starting from the same specification. The first used a classical design method based on RTL synthesis. The second design flow is based on behavioral synthesis. The experiment has shown that behavioral synthesis is able to produce efficient design in terms of gate count and timing while bringing a threefold reduction in design effort when compared to the RTL design methodology. Imed Moussa, Zoltan Sugar, Rodolph Suescun, Mario Diaz-Nava, Marco Pavesi, Salvatore Crudo, Luca Gazi, Ahmed Amine Jerraya |
DAC | 4 |