2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AR2024★ 2 cited
There and Back Again: A Netlist's Tale with Much Egraphin'
Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit +6
EDA toolchains are notoriously unpredictable, incomplete, and error-prone; the generally-accepted remedy has been to re-imagine EDA tasks as compilation problems. However, any comp…
cs.SE2015
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two typ…