Lin et al., 2013 - Google Patents

Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis

Lin et al., 2013

Document ID
11583376905197397580
Author
Lin H
Li P
Myers C
Publication year
Publication venue
Proceedings of the 50th Annual Design Automation Conference

External Links

Snippet

The emergence of digitally-intensive analog circuits introduces new challenges to formal verification due to increased digital design content, and non-ideal digital effects such as finite resolution, round-off error and overflow. We propose a machine learning approach to …
Continue reading at dl.acm.org (other versions)

Classifications

    • 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/5036—Computer-aided design using simulation for analog modelling, e.g. for circuits, spice programme, direct methods, relaxation methods
    • 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/5045—Circuit design
    • 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
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • 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
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G06F7/38—Methods or arrangements for performing computations using exclusively denominational number representation, e.g. using binary, ternary, decimal representation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F1/00—Details of data-processing equipment not covered by groups G06F3/00 - G06F13/00, e.g. cooling, packaging or power supply specially adapted for computer application
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management

Similar Documents

Publication Publication Date Title
Zulehner et al. Advanced simulation of quantum computations
Benner et al. A survey of projection-based model reduction methods for parametric dynamical systems
CN109800883B (en) Quantum machine learning framework construction method and device and quantum computer
Park et al. General heuristics for nonconvex quadratically constrained quadratic programming
Rudnyi et al. Automatic Model Reduction for Transient Simulation of MEMS‐based Devices
Mishchenko et al. Scalable don't-care-based logic optimization and resynthesis
Guillet et al. A simple multigrid scheme for solving the Poisson equation with arbitrary domain boundaries
Lin et al. Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis
Fummi et al. Moving from co-simulation to simulation for effective smart systems design
Nazemi et al. Synergiclearning: Neural network-based feature extraction for highly-accurate hyperdimensional learning
Gruber et al. Sparsity-aware finite abstraction
Yu et al. Formal analysis of Galois field arithmetic circuits-parallel verification and reverse engineering
Chatterjee et al. A learner-verifier framework for neural network controllers and certificates of stochastic systems
Mazo Jr et al. Abstracted models for scheduling of event-triggered control data traffic
Benhammouda The Differential Transform Method as an Effective Tool to Solve Implicit Hessenberg Index‐3 Differential‐Algebraic Equations
Liu et al. Chisel-Q: Designing quantum circuits with a scala embedded language
Huang et al. A scalable echo state networks hardware generator for embedded systems using high-level synthesis
Erba et al. Digital filter design through simulated evolution
Althaus et al. Consensus-based rare event estimation
Xu et al. A Parallel Algorithm for Computing Partial Spectral Factorizations of Matrix Pencils via Chebyshev Approximation
Alsubaei et al. A VHDL based Moore and Mealy FSM example for education
Hooshmand et al. Steps in transforming shapes generated with generative design into simulation models
Luk Analysing parametrised designs by non-standard interpretation
Dubikhin et al. Advances in formal methods for the design of analog/mixed-signal systems
Kim et al. Reachability Analysis for Nonlinear Analog/Mixed-Signal Circuits with Trajectory-Based Reachable Sets