Fix Split for 0-width wires
This commit is contained in:
parent
d31b26c342
commit
254498042a
@ -97,7 +97,7 @@ object Split
|
|||||||
val w = x.getWidth
|
val w = x.getWidth
|
||||||
def decreasing(x: Seq[Int]): Boolean =
|
def decreasing(x: Seq[Int]): Boolean =
|
||||||
if (x.tail.isEmpty) true
|
if (x.tail.isEmpty) true
|
||||||
else x.head > x.tail.head && decreasing(x.tail)
|
else x.head >= x.tail.head && decreasing(x.tail)
|
||||||
require(decreasing(w :: n.toList))
|
require(decreasing(w :: n.toList))
|
||||||
w
|
w
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user