[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Zhang et al., 2024 - Google Patents

Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study

Zhang et al., 2024

View PDF
Document ID
7250080915545292242
Author
Zhang W
Hassan M
Drechsler R
Publication year
Publication venue
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop" Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"(MBMV-2024), Kaiserslautern, Germany

External Links

Snippet

Performance estimation of embedded software techniques mimic the behavior of real hardware, consistently navigating a balance between simulation accuracy and speed. Designers usually use real hardware, simulators, or static analyzers to obtain the …
Continue reading at agra.informatik.uni-bremen.de (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3457—Performance evaluation by simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5018—Computer-aided design using simulation using finite difference methods or finite element methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • G06F11/3414—Workload generation, e.g. scripts, playback
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/78—Power analysis and optimization
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric

Similar Documents

Publication Publication Date Title
Joshua et al. The future of simulation: A field of dreams
Calotoiu et al. Using automated performance modeling to find scalability bugs in complex codes
JP5298444B2 (en) Method, apparatus, logic program and system for characterizing processor design
Carrington et al. A performance prediction framework for scientific applications
Mariani et al. OSCAR: An optimization methodology exploiting spatial correlation in multicore design spaces
Carrington et al. An idiom-finding tool for increasing productivity of accelerators
Guerra et al. System-level design guidance using algorithm properties
Böhm et al. MADLens, a python package for fast and differentiable non-Gaussian lensing simulations
Schuëller et al. Computational stochastic structural analysis (COSSAN)–a software tool
US8346584B2 (en) Method and apparatus for determining design modification effects on a computerized engineering model
US20060130029A1 (en) Programming language model generating apparatus for hardware verification, programming language model generating method for hardware verification, computer system, hardware simulation method, control program and computer-readable storage medium
Sharma et al. Performance evaluation of real-time systems
Zhang et al. Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study
Carrington et al. Applying an automated framework to produce accurate blind performance predictions of full-scale hpc applications
Zhang et al. Efficient ml-based performance estimation approach across different microarchitectures for risc-v processors
Singh et al. Efficacy of statistical sampling on contemporary workloads: The case of SPEC CPU2017
Santos et al. Sequential composition of execution time distributions by convolution
Zhang et al. ANN-based performance estimation of embedded software for risc-v processors
Zhao et al. Host-compiled reliability modeling for fast estimation of architectural vulnerabilities
Reiter et al. On analyzing quality of data influences on performance of finite elements driven computational simulations
Becker et al. A Testing Pipeline for Quantum Computing Applications
CN118626402B (en) AI framework test method, apparatus, device and storage medium
CN106020982A (en) Method for simulating resource consumption of software component
Jamieson et al. gem5 GPU accuracy profiler (GAP)
Herglotz et al. Estimation of non-functional properties for embedded hardware with application to image processing