Feature Indented Assertions for Analog and Mixed-Signal Validation

No abstract is available for this paper.

• Publication year

  2016

• Venue

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

• Publication date

  2016-11-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/TCAD.2016.2525798
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Monitoring AMS Simulation: From Assertions to Features

  2015cited by this paper
• Formal Interpretation of Assertion-Based Features on AMS Designs

  2015cited by this paper
• Fundamentals of Power Electronics

  2013cited by this paper
• Assertion Aware Sampling Refinement: A Mixed-Signal Perspective

  2012cited by this paper
• Computing Minimal Debugging Windows in Failure Traces of AMS Assertions

  2012cited by this paper
• Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice

  2012influential reference
• Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions

  2011influential reference
• Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions

  2011cited by this paper
• Realtime regular expressions for analog and mixed-signal assertions

  2011cited by this paper
• Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models

  2011cited by this paper
• Instrumenting AMS assertion verification on commercial platforms

  2009cited by this paper
• Model Checking of Analog Systems using an Analog Specification Language

  2008cited by this paper
• Auxiliary state machines + context-triggered properties in verification

  2008cited by this paper
• AMT: A Property-Based Monitoring Tool for Analog Systems

  2007cited by this paper
• A verification system for transient response of analog circuits using model checking

  2005cited by this paper
• The designer's guide to Verilog-AMS

  2004influential reference
• Monitoring Temporal Properties of Continuous Signals

  2004influential reference
• The benefits of relaxing punctuality

  1991cited by this paper
• Temporal Logic of Programs

  1987cited by this paper

• Analysis of Machine Learning Techniques for Time Domain Waveform Prediction in Analog and Mixed Signal Integrated Circuit Verification

  2023cites this paper
• The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits

  2022cites this paper
• ML-Assisted Bug Emulation Experiments for Post-Silicon Multi-Debug of AMS Circuits

  2022cites this paper
• A Survey on Assertion-based Hardware Verification

  2022cites this paper
• Assertions for Protecting Mixed-Signal Latency Contracts in Power Management

  2020cites this paper
• Recurrence in Dense-Time AMS Assertions

  2020cites this paper
• Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT

  2020cites this paper
• ForFET SMT : Quantitative SMT Analysis of Hybrid Automata using Features ∗

  2020cites this paper
• The Notion of Cross Coverage in AMS Design Verification

  2020cites this paper
• Interpreting Local Variables in AMS Assertions During Simulation

  2019cites this paper
• Functional Coverage-Driven Characterization of RF Amplifiers

  2019cites this paper
• AMS-Miner: Mining AMS Assertions Using Interval Arithmetic

  2018cites this paper
• Feature Based Coverage Analysis of AMS Circuits

  2018cites this paper
• Feature Based Identification of Transmission Line Faults by Synchronous Monitoring of PMUs

  2017cites this paper
• ForFET: A Formal Feature Evaluation Tool for Hybrid Systems

  2017cites this paper
• A Novel Design in Formal Verification Corresponding to Mixed Signals by Differential Learning

  2017cites this paper
• Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy

  2017influential citation
• Formal Feature Interpretation of Hybrid Systems

  2017influential citation
• A Framework for Automated Feature Based Mixed-Signal Equivalence Checking

  2017cites this paper
• Assertions and measurements for mixed-signal simulation

  2016cites this paper
• Formal feature analysis of hybrid automata

  2016influential citation