Michael Kärgel, Markus Olbrich, Erich Barke. Simulation Based Verification with Range Based Signal Representations for Mixed-Signal Systems. In Edward David Moreno Ordonez, Rodolfo Jardim de Azevedo, Peter R. Kinget, editors, Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, Aracaju, Brazil, September 1-5, 2014. pages 42, ACM, 2014. [doi]
Abstract is missing.