M. Diaz-Nava
STMicroelectronics (France)(FR)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Interconnection Networks and Systems, Parallel Computing and Optimization Techniques, Modular Robots and Swarm Intelligence, Formal Methods in Verification
Most-Cited Works
- → Component-based design approach for multicore SoCs(2002)151 cited
- → Multiprocessor SoC platforms: a component-based design approach(2002)148 cited
- → Multi-processor SoC design methodology using a concept of two-layer hardware-dependent software(2004)12 cited
- → Comparing RTL and behavioral design methodologies in the case of a 2M-transistor ATM shaper(1999)9 cited
- → SystemC-AMS/MDVP-based modeling for the virtual prototyping of MEMS applications(2015)6 cited
- → Deploying warehouse robots with confidence: the BRAIN-IoT framework’s functional assurance(2023)6 cited
- → Architecture of a new ASIC data communication circuit intended for the ISO levels 3, 4, 5: network, transport and session(2003)3 cited
- → Design of a VLSI communicating circuit for an industrial local network in control process and automated production(1986)2 cited
- Proposition of a design methodology for integrated communication circuits. Implementation of a circuit for the FIP local network(1986)