Absolute value

lib/src/signals/logic.dart

@@ -633,7 +633,15 @@ class Logic {
     ].swizzle();
   }
 
-  /// Returns a new [Logic] with width [newWidth] where new bits added are sign
+  ///This function calculate the value of a signal or value
+  Logic abs() {
+    if (width == 0) {
+      return this;
+    }
+    return mux(this[-1], ~this + 1, this);
+  }
+
+  /// Returns a new [Logic] wi}th width [newWidth] where new bits added are sign
   /// bits as the most significant bits.  The sign is determined using two's
   /// complement, so it takes the most significant bit of the original signal
   /// and extends with that.

lib/src/signals/logic_structure.dart

@@ -454,6 +454,9 @@ class LogicStructure implements Logic {
   @override
   Logic get reversed => packed.reversed;
 
+  @override
+  Logic abs() => packed.abs();
+
   @override
   Logic signExtend(int newWidth) => packed.signExtend(newWidth);
 
@@ -515,4 +518,5 @@ class LogicStructure implements Logic {
   void _updateWire(_Wire newWire) {
     throw UnsupportedError('Delegated to elements');
   }
+
 }

lib/src/values/logic_value.dart

@@ -863,6 +863,18 @@ abstract class LogicValue implements Comparable<LogicValue> {
     return op(this, other);
   }
 
+  LogicValue abs() {
+    if (width == 0) {
+      return this;
+    }
+    if (!this[-1].isValid) {
+      return LogicValue.filled(width, LogicValue.x);
+    }
+    return this[-1] == LogicValue.one
+        ? ~this + LogicValue.ofInt(1, width)
+        : this;
+  }
+
   /// Unary AND operation.
   ///
   /// Returns `1` iff all bits are `1`.