Formal Methods in Computer-Aided Design

DOI10.1007/B102264zbMATH Open1117.68303OpenAlexW4229585471MaRDI QIDQ5492964FDOQ5492964

Authors: Thao Dang, Alexandre Donzé, Oded Maler 

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b102264

Recommendations

• Automated Technology for Verification and Analysis
• On simulation-based probabilistic model checking of mixed-analog circuits
• Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
• Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
• Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Cited In (12)

• Simulation and Verification of Electronic and Biological Systems
• Automated Technology for Verification and Analysis
• Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver
• Hybridization methods for the analysis of nonlinear systems
• Advanced methods for equivalence checking of analog circuits with strong nonlinearities
• Trajectory-Based Theory for Hybrid Systems
• On simulation-based probabilistic model checking of mixed-analog circuits
• Analog/mixed-signal circuit verification using models generated from simulation traces
• Multi-Requirement Testing Using Focused Falsification
• Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking

Uses Software

• d/dt

This page was built for publication: Formal Methods in Computer-Aided Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492964)