PDVL is an aspect-oriented, translation-level Programming, Design and Verification Language (PDVL).
The specification version 0.5 covers the Design (D) section of PDVL.
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