Freescale coauthor proposes realtime regular expressions for analog and mixed-signal assertions
At FMCAD 2011, John Havlicek and Freescale Semiconductor's Scott Little presented syntax and semantics for realtime regular expressions that extend SystemVerilog Assertion-style regular expressions to describe continuous-time analog and mixed-signal properties. The paper says the work was influenced by the Accellera analog-assertions effort; it does not claim an internal Freescale deployment.
Evidence
FMCAD 2011 Proceedings: Realtime Regular Expressions for Analog and Mixed-Signal Assertions ↗
The proceedings list Scott Little with Freescale Semiconductor and present realtime regular expressions for specifying continuous-time analog and mixed-signal properties.