Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | DoubleAdd.v | 11411 | logplain |
-rw-r--r-- | DoubleBase.v | 13178 | logplain |
-rw-r--r-- | DoubleCyclic.v | 28630 | logplain |
-rw-r--r-- | DoubleDiv.v | 56420 | logplain |
-rw-r--r-- | DoubleDivn1.v | 20486 | logplain |
-rw-r--r-- | DoubleLift.v | 19480 | logplain |
-rw-r--r-- | DoubleMul.v | 24179 | logplain |
-rw-r--r-- | DoubleSqrt.v | 49369 | logplain |
-rw-r--r-- | DoubleSub.v | 12580 | logplain |
-rw-r--r-- | DoubleType.v | 1894 | logplain |