sentences:  Assertion based verification is still in its infancy, but is expected to become an integral part of the HDL design toolset.An HDL is grossly similar to a software programming language, but there are major differences.Most programming languages are inherently procedural (single-threaded), with limited syntactical and semantic support to handle concurrency.