PDVL is an aspect-oriented and transaction-level Programming, Design and Verification
Language. The electronic
system level (ESL) language is inspired by SystemVerilog, SystemC and
many others, but adds for example program paradigms such as aspect and
transaction oriented programming. To name a few improvement over
existing languages, the method to define inverse transactions is added,
software sequences become integral part of static verification,
auto-abstraction during runtime is proposed and the paradigm of a
design hierarchy becomes only relevant when required. PDVL offers novel
solutions for state-of-the-art topics such as portable stimulus,
intelligent testbench generation and various other ESL methodologies.