AccelerateSemi documents how a functional verification environment gets built from a protocol specification, with runnable code behind every claim.