FA-89150 / Digital logic simulation / Member archive

All-zero vector written with no digits · case 05

A vector returning to zero is dumped as 'b <id>' with an empty value.

Member previewVariant 5 · 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
clock toggles	`["#0", "0!", "b \"", "bx %", "#5", "1!", "#10", "0!", "#15", "1!"]`	`["#0", "0!", "b0 \"", "bx %", "#5", "1!", "#10", "0!", "#15", "1!"]`	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.