signaloid / Signaloid-Demo-Basic-Multiplication

Floating point multiplication of two variables.

MICRO Benchmark: double-multiply

Benchmark from Tsoutsouras et al. MICRO paper.¹

Performs floating-point multiplication of two variables A and B with associated distributions and places the result in C.

Arguments

double-multiply -a <samples file for A> -b <samples file for B> -m <mode>
	-a <samples file for A>: set to `input-A.txt` by default
	-b <samples file for B>: set to `input-B.txt` by default
	-m <mode>: 1 for explicit computation, 0 for implicit uncertainty tracking (0 is the default)

Inputs

The samples are stored in a text file. The first line of the file is the number of samples that follow.

Footnotes

1. Vasileios Tsoutsouras, Orestis Kaparounakis, Bilgesu Arif Bilgin, Chatura Samarakoon, James Timothy Meech, Jan Heck, Phillip Stanley-Marbell: The Laplace Microarchitecture for Tracking Data Uncertainty and Its Implementation in a RISC-V Processor. MICRO 2021: 1254-1269 ↩