An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL) | IEEE Conference Publication | IEEE Xplore

An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL)


Abstract:

This paper proposes a novel aspect and transaction oriented programming, design and verification language (PDVL). The electronic system level (ESL) language is inspired b...Show More

Abstract:

This paper proposes a novel aspect and transaction oriented programming, design and verification language (PDVL). 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.
Date of Conference: 30 August 2017 - 01 September 2017
Date Added to IEEE Xplore: 28 September 2017
ISBN Information:
Conference Location: Vienna, Austria

Contact IEEE to Subscribe

References

References is not available for this document.