Transformation-Aided Verification of MAC Designs using Symbolic Computer Algebra

Author(s):
Lennart Weingarten, Kamalika Datta, Rolf Drechsler
Location:
Europe
Year:
2025
Type:
Paper
Format:
www