Improved Floating Point Multiplier Design Based On Canical Sign Digit

Formal verification of floating-point hardware design: A mathematical approach

Tinjauan terhadap Metode-metode Alternatif dalam Penjumlahan Bilangan Floating Point

Tinjauan Metode Compensated pada Penjumlahan Rekursif Floating-Point

Penilaian risiko kerusakan pada floating dock menggunakan metode Formal Safety Assessment = Safety risk assessment of floating dock using The Formal Safety Assessment method