Professional Documents
Culture Documents
Formal verification
C Model
Following algorithms to be followed:
• Dadda Algorithm
• Karatsuba Algorithm
• Urdhva-Tiryagbhyam Algorithm
• Trojan Models
Basic Algorithm
for C/RTL
implementation
Future scope
Posit number system has more precision than IEEE 754 number
system
ML design work mostly between -1 to 1. It works more efficient in
Posit number system