Malburg, JanJanMalburgRiener, HeinzHeinzRienerFey, GörschwinGörschwinFey2019-05-062019-05-062018-07-19The International Symposium on Multiple-Valued Logic: 68-73 (2018)http://hdl.handle.net/11420/2630Guaranteed response times are crucial for control applications. Analyzing the communication latency, i.e., the time needed to transfer data from one end-point to another, in complex on-chip communication architectures is hard. In this paper, we formally define the problem of mining latency guarantees and present a pragmatic approach to mine symbolic conditions that guarantee a latency requirement. The verification problems handled in this approach are inherently multi-valued modeling bit-vectors of the underlying designs. We use the approach to infer the optimal transfer conditions for a bus bridge and an SPI-connection in less than a minute using only up to 5,000 clock cycles of simulation data.enConference Paper10.1109/ISMVL.2018.00020Other