The Experts below are selected from a list of 6456 Experts worldwide ranked by ideXlab platform

J.p. Teixeira - One of the best experts on this subject based on the ideXlab platform.

  • Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System
    Journal of Electronic Testing, 2002
    Co-Authors: F M Goncalves, M. B. Santos, I C Teixeira, J.p. Teixeira
    Abstract:

    The purpose of this paper is to present a methodology and tools for the Design and test of an EN298 compliant ASIC chip for a safety-critical gas burner control system. Safe operation, as far as the critical variable is concerned, is guaranteed in the presence of two simultaneous faults. Emphasis is put on circumventing methodology, EDA (Electronic Design Automation) and foundry limitations and on product certification requirements.

  • IOLTW - Design and test of certifiable ASICs for safety-critical gas burner control
    Proceedings Seventh International On-Line Testing Workshop, 2001
    Co-Authors: F M Goncalves, M. B. Santos, I C Teixeira, J.p. Teixeira
    Abstract:

    The purpose of this paper is to present a methodology and tools for the Design and test of a EN298 compliant ASIC chip for safety-critical gas burner control, Safe operation, as far as the critical variable is concerned, is guaranteed in the presence of two simultaneous bridging or open defects. Emphasis is put on circumventing methodology, EDA (Electronic Design Automation) and foundry limitations and on product certification requirements.

Pierluigi Nuzzo - One of the best experts on this subject based on the ideXlab platform.

  • ISPD - From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts
    Proceedings of the 2019 International Symposium on Physical Design, 2019
    Co-Authors: Pierluigi Nuzzo
    Abstract:

    This paper reflects on the Design challenges posed by cyber-physical systems, what distinguishes cyber-physical system Design from large-scale integrated circuit Design, and what could be the opportunities for the Design Automation community. The paper discusses three challenges that touch upon aspects that are unique to cyber-physical systems, namely, devising novel compositional Design methodologies, reasoning about the interaction between discrete and continuous models, and dealing with uncertainty. It then summarizes some of the approaches pursued by the research community to tackle these challenges, with the potential of fostering a new generation of methodologies, algorithms, and tools for system Design. Central to the paper is a view of platforms and contracts as formal notions that can bridge the emerging area of cyber-physical system Design Automation with paradigms that have been successful in the field of Electronic Design Automation.

  • from Electronic Design Automation to cyber physical system Design Automation a tale of platforms and contracts
    International Symposium on Physical Design, 2019
    Co-Authors: Pierluigi Nuzzo
    Abstract:

    This paper reflects on the Design challenges posed by cyber-physical systems, what distinguishes cyber-physical system Design from large-scale integrated circuit Design, and what could be the opportunities for the Design Automation community. The paper discusses three challenges that touch upon aspects that are unique to cyber-physical systems, namely, devising novel compositional Design methodologies, reasoning about the interaction between discrete and continuous models, and dealing with uncertainty. It then summarizes some of the approaches pursued by the research community to tackle these challenges, with the potential of fostering a new generation of methodologies, algorithms, and tools for system Design. Central to the paper is a view of platforms and contracts as formal notions that can bridge the emerging area of cyber-physical system Design Automation with paradigms that have been successful in the field of Electronic Design Automation.

F M Goncalves - One of the best experts on this subject based on the ideXlab platform.

  • Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System
    Journal of Electronic Testing, 2002
    Co-Authors: F M Goncalves, M. B. Santos, I C Teixeira, J.p. Teixeira
    Abstract:

    The purpose of this paper is to present a methodology and tools for the Design and test of an EN298 compliant ASIC chip for a safety-critical gas burner control system. Safe operation, as far as the critical variable is concerned, is guaranteed in the presence of two simultaneous faults. Emphasis is put on circumventing methodology, EDA (Electronic Design Automation) and foundry limitations and on product certification requirements.

  • IOLTW - Design and test of certifiable ASICs for safety-critical gas burner control
    Proceedings Seventh International On-Line Testing Workshop, 2001
    Co-Authors: F M Goncalves, M. B. Santos, I C Teixeira, J.p. Teixeira
    Abstract:

    The purpose of this paper is to present a methodology and tools for the Design and test of a EN298 compliant ASIC chip for safety-critical gas burner control, Safe operation, as far as the critical variable is concerned, is guaranteed in the presence of two simultaneous bridging or open defects. Emphasis is put on circumventing methodology, EDA (Electronic Design Automation) and foundry limitations and on product certification requirements.

Cheng Hao - One of the best experts on this subject based on the ideXlab platform.

Yu Wang - One of the best experts on this subject based on the ideXlab platform.

  • machine learning for Electronic Design Automation a survey
    arXiv: Signal Processing, 2021
    Co-Authors: Guyue Huang, Jialong Liu, Zhaoyang Shen, Hengrui Zhang, Kai Zhong, Xuefei Ning, Haoyu Yang, Huazhong Yang, Yu Wang
    Abstract:

    With the down-scaling of CMOS technology, the Design complexity of very large-scale integrated (VLSI) is increasing. Although the application of machine learning (ML) techniques in Electronic Design Automation (EDA) can trace its history back to the 90s, the recent breakthrough of ML and the increasing complexity of EDA tasks have aroused more interests in incorporating ML to solve EDA tasks. In this paper, we present a comprehensive review of existing ML for EDA studies, organized following the EDA hierarchy.