[Brian_K_White]

I think I don't understand how to make a design error inexpressible either.

I know what the statement means, but I fail to imagine any hardware construction that is automatically wrong, merely ones that don't do what someone wanted. The same exact construct and resulting behavior could be what someone else wanted.

Violating the nominal specs, or the nominal intended purpose of a part or circuit to get particular results is the oldest thing in the world.

Maybe some things are common enough that it's reasonable to make them difficult to express?

Ok, also especially if you can assert your intentions with labels that say high level things, then I guess I can see being able to flag some things that would break the intentions expressed by the labels.

Maybe I'm starting to imagine a little.