Random Number Generators and Sphere Sampling for High-Level Synthesis. - Syuji Onishi; Yuuto Asaumi; Tomonori Izumi; Motoya Takenaka (ICCE, 2025)