FA-89152 / Digital logic simulation / Member archive

Short vector value printed as a scalar change · case 02

A vector sample given as a single digit is dumped in scalar form without the b prefix.

Member previewVariant 2 · 3 implementations · 7 checks per implementation

Case contract

Input [sigs, samples]: sigs are [name, id, width, initial]; samples are time-sorted [t, name, value] with values as 0/1/x/z strings, possibly shorter than the width or redundant. Output starts with '#0' and one line per signal's initial value. Afterwards only real value changes are written, each timestamp marker '#t' at most once and only when a change happens at t. Width-1 signals print value+id; vectors print 'b'+value+' '+id with leading zeros removed (at least one digit kept) and a run of leading x or z collapsed to one character.

Why this case matters

Waveform dumps are how simulator results are inspected; missing, duplicated or mis-extended changes mislead debugging.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
short vector values	`["#0", "0!", "b0 \"", "bx %", "#3", "1\"", "#5", "1%"]`	`["#0", "0!", "b0 \"", "bx %", "#3", "b1 \"", "#5", "b1 %"]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.