(vl-emodwires-from-msb-to-lsb name msb lsb) returns a list of vl-emodwire-ps:
The range is inclusive on both sides, so if
Function:
(defun vl-emodwires-from-msb-to-lsb (name msb lsb) (declare (xargs :guard (and (stringp name) (natp msb) (natp lsb)))) (let ((__function__ 'vl-emodwires-from-msb-to-lsb)) (declare (ignorable __function__)) (b* ((high (max msb lsb)) (low (min msb lsb)) (|w[high:low]| (vl-emodwires-from-high-to-low name high low)) (|w[msb:lsb]| (if (>= msb lsb) |w[high:low]| (reverse |w[high:low]|)))) |w[msb:lsb]|)))