Arthur Kalsing
Arthur Kalsing
Laurent Fesquet
Chouki Aktouf
Towards consistency checking between HDL and UPF descriptions.
1-6
2017
FDL
https://doi.org/10.1109/FDL.2017.8303897
conf/fdl/2017
db/conf/fdl/fdl2017.html#KalsingFA17
Arthur Kalsing
Laurent Fesquet
Chouki Aktouf
A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions.
107-127
2017
FDL (Selected Papers)
https://doi.org/10.1007/978-3-030-02215-0_6
conf/fdl/2017s
db/conf/fdl/fdl2017s.html#KalsingFA17a
Chouki Aktouf
Laurent Fesquet