High-level verification

High-level verification (HLV), is a companion design methodology and technology to High-level synthesis

Electronic digital hardware design has evolved from low level abstraction at gate level to register transfer level (RTL), the abstraction level above RTL is commonly called high-level, ESL, or behavioral/algorithmic level.

In High-level synthesis, behavioral/algorithmic designs in ANSI C/C++/SystemC code is synthesized to RTL, which is then synthesized into gate level through logic synthesis. Functional verification is a the task to verify the design at both RTL and gate level. As logic synthesis matures, most functional verification is done at RTL level to make sure it conforms to a specification, the correctness of logic synthesis tool is a less concern today.

High-level synthesis is still an emerging technology, so High-level verification today still has two important areas under development: 1) to validate HLS is correct 2) to verify a design in ANSI C/C++/SystemC code is conforming to a specification.