PDVL is an aspect-oriented, translation-level Programming, Design and Verification Language (PDVL).
The specification version 0.4 covers the Design (D) section of PDVL and the inital part of the Verification (V) section.
PDVL was first introduced at the IEEE Euromicro DSD 2017 conference [1].
Reports about ongoing developements can be foud at: http://cloudx.cc/pdvl.html
If you want to reference it, please use the following BibTeX template:
@INPROCEEDINGS{8049764, author={Strauch, Tobias}, booktitle={2017 Euromicro Conference on Digital System Design (DSD)}, title={An Aspect and Transaction Oriented Programming, Design and Verification Language (PDVL)}, year={2017}, volume={}, number={}, pages={30-39}, doi={10.1109/DSD.2017.66}}
PDVL is licensed under the Apache License, Version 2.0 (the “License”).
References
[1] T. Strauch, ”An Aspect and Transaction Oriented Programming, Design and Verification Language”, IEEE Euromicro DSD 2017, 30 Aug. - 1 Sep., Vienna, Austria, pp. 30 - 39