In 1999, Rob Dekker formed Verific, a provider of hardware-description-language (HDL) source code software. Today, Dekker and a team of dedicated engineers develop parsers and elaborators for ...