scientific article; zbMATH DE number 1903367
From MaRDI portal
zbMath1010.68512MaRDI QIDQ4804911
Walter Hartong, Lars Hedrich, Erich Barke
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040401.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Hybridization methods for the analysis of nonlinear systems, Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver, Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces, Analog property checkers: a DDR2 case study, Advanced methods for equivalence checking of analog circuits with strong nonlinearities, Applications of polyhedral computations to the analysis and verification of hardware and software systems
Uses Software
