Pages that link to "Item:Q5962116"
From MaRDI portal
The following pages link to On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116):
Displaying 9 items.
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- On minimising the maximum expected verification time (Q1675917) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- A uniform approach to mixed-signal circuit test (Q4367096) (← links)
- (Q5013880) (← links)
- Automated Technology for Verification and Analysis (Q5394211) (← links)
- Formal Methods in Computer-Aided Design (Q5492964) (← links)
- Analog property checkers: a DDR2 case study (Q5962118) (← links)