Asignments of arithmetic operations embedded in a concatenation cause wrong conditional paths to be taken #646
Labels
resolution: abandoned
Closed; not enough information or otherwise never finished
Author Name: Daniel Bone
Original Redmine Issue: 646 from https://www.veripool.org
Original Date: 2013-05-19
Trying to use a single wire concatenated with a vector to capture an addition overflow was causing a mismatch between the waveform value and the conditional branch taken for the value of that wire.
I suspect the wire is being incremented beyond its range of 0 to 1, causing the if statement to treat it as 2 rather than 0 following 2 assignments via addition overflow.
Solved the issue by using a seperate vector packed with the operands to preform the addition on and then unpack afterwards.
//Code snippet
The text was updated successfully, but these errors were encountered: