Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Mario Diaz-Nava

dblp:94/242 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Processor architecture and microarchitecture
chip multiprocessor
0.012002
Component-based design approach for multicore SoCs · DAC 2002
Embedded and real-time systems
component-based design
0.012002
Component-based design approach for multicore SoCs · DAC 2002
Electronic design automation
system-level design
0.012002
Component-based design approach for multicore SoCs · DAC 2002
Electronic design automation › high-level synthesis › behavioral transformation
behavioral synthesis
0.011999
Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper · DAC 1999
Electronic design automation
high-level synthesis
0.011999
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.011999
Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper · DAC 1999
Integrated circuit design
ASIC design
0.012002
Component-based design approach for multicore SoCs · DAC 2002
Integrated circuit design
digital circuit design
0.011999
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
YearPublicationVenuePosition
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 Software
abstract
In 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
DATE5
2002 Component-based design approach for multicore SoCs
abstract
This 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
DAC9
1999 Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper
abstract
This 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
DAC4