Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler. Integer Overflow Detection in Hardware Designs at the Specification Level. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020. pages 41-48, SCITEPRESS, 2020. [doi]
Abstract is missing.