Fortifying analog models with equivalence checking and coverage analysis

Horowitz, Mark; Jeeradit, Metha; Lau, Frances; Liao, Sabrina; Lim, Byong Chan; Mao, James C. T.

doi:10.1145/1837274.1837381

Cited by 23 publications

(8 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, performing an automated sensitivity determination is unnecessary. This is based on the observation reported by Horowitz et al that analog models reflect the limited dynamic range of circuits [13]. This point is significant for sensitivity analysis, as it means that the circuit dynamic range and precision are known when the behavioral model is implemented.…”

Section: Pragma-based Conversionmentioning

confidence: 99%

“…On the contrary, it discusses how to use analog behavioral models for emulation. For more references on analog behavioral modeling with Verilog and SystemVerilog, we refer to the papers by Horowitz et al [13], and Chen [7], and the book by Chen et al [14].…”

Section: Systemverilog Real Number Modelingmentioning

confidence: 99%

“…As discussed by Chen and Horowitz et al, behavioral modeling is vulnerable to engineer-injected errors [7], [13]. An incorrect behavioral model can mask or misrepresent a true silicon bug and necessitate a chip spin.…”

Section: Verifying Behavioral Model Accuracy Against Schematicsmentioning

confidence: 99%

“…Our approach differs from the approach proposed in Horowitz et al [13], where simulation states that linearize the behavior of the analog design are automatically extracted. Their proposed methodology has several critical limitations:…”

Section: Verifying Behavioral Model Accuracy Against Schematicsmentioning

confidence: 99%

See 3 more Smart Citations

Pragma-based floating-to-fixed point conversion for the emulation of analog behavioral models

Nothaft

Fernández

Cefali

et al. 2014

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

View full text Add to dashboard Cite

Design teams have embraced hardware verification accelerators that enable pre-silicon firmware development. However, emulation is inapplicable for large mixed signal designs. We introduce a methodology that allows for the reuse of analog behavioral models in verification accelerators. We provide a set of pragmas that allow real number models to be converted to fixed point and synthesized and introduce an approach for demonstrating the correctness of these models. We demonstrated this by emulating a large cellular modem within 3,000× the speed of real life, a 3,000,000× speedup over analog simulations, and a 120× speedup over RTL simulations.

show abstract

Section: Pragma-based Conversionmentioning

confidence: 99%

Section: Systemverilog Real Number Modelingmentioning

confidence: 99%

Section: Verifying Behavioral Model Accuracy Against Schematicsmentioning

confidence: 99%

Section: Verifying Behavioral Model Accuracy Against Schematicsmentioning

confidence: 99%

See 2 more Smart Citations

Pragma-based floating-to-fixed point conversion for the emulation of analog behavioral models

Nothaft

Fernández

Cefali

et al. 2014

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

View full text Add to dashboard Cite

show abstract

“…Algorithmic generation of dynamic parameterized models in general form is, however, an open research problem. Depending on the abstraction level, highlevel dynamic models may preserve the continuous-time semantics of analog systems, specified by differential algebraic equations, or leverage faster, discrete-time or event-driven abstractions [28]. Such models can be expressed using generic modeling frameworks, such as Matlab, hardware description languages, such as Verilog or VHDL, or transaction-level modeling libraries, such as SystemC, together with their respective AMS extensions [29]- [31].…”

Section: A System-level Analog Designmentioning

confidence: 99%

Methodology for the Design of Analog Integrated Interfaces Using Contracts

Nuzzo

Sangiovanni-Vincentelli

Sun

et al. 2012

IEEE Sensors J.

View full text Add to dashboard Cite

The design of complex analog interfaces would largely benefit from model-based development and compositional methods to improve the quality of its final result. However, analog circuit behaviors are so tightly intertwined with their environment that: 1) abstractions needed for model-based design are often not accurate, thus making it difficult to achieve reliable system performance estimations, and 2) generic, designindependent interfaces that are needed to develop compositional techniques are very difficult to define. In this paper, we propose a platform-based design methodology that uses analog contracts to develop reliable abstractions and design-independent interfaces. A contract explicitly handles pairs of properties, representing the assumptions on the environment and the promises of a component under these assumptions. Horizontal contracts encode composition rules that constrain how library elements should be "legally" used. Vertical contracts define under which conditions an aggregation of components satisfies the requirements posed at a higher level of abstraction. If both sets of contracts are satisfied, we can produce implementations by composition and refinement that are correct by construction. We demonstrate the effectiveness of this approach on the design of an ultra-wide band receiver used in an Intelligent Tire system, an on-vehicle wireless sensor network for active safety applications.Index Terms-Analog and mixed-signal design, automotive sensor interfaces, contract-based design, integrated sensor interface modeling, platform-based design, ultrawideband.

show abstract

Formal Techniques for Verification and Coverage Analysis of Analog Systems

Furtig

Hedrich

2017

Formal System Verification

View full text Add to dashboard Cite

Fortifying analog models with equivalence checking and coverage analysis

Cited by 23 publications

References 14 publications

Pragma-based floating-to-fixed point conversion for the emulation of analog behavioral models

Pragma-based floating-to-fixed point conversion for the emulation of analog behavioral models

Methodology for the Design of Analog Integrated Interfaces Using Contracts

Formal Techniques for Verification and Coverage Analysis of Analog Systems

Contact Info

Product

Resources

About