Crossmark

Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs

Crossref DOI link: https://doi.org/10.1007/s10836-024-06115-9

Published Online: 2024-04-23

Published Print: 2024-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Bosio, Alberto https://orcid.org/0000-0001-6116-7339
Germiniani, Samuele https://orcid.org/0000-0003-0794-8606
Pravadelli, Graziano https://orcid.org/0000-0002-7833-1673
Traiola, Marcello https://orcid.org/0000-0003-1484-5162
License Information

Text and Data Mining valid from 2024-04-01

Version of Record valid from 2024-04-01
More Information

Article History

Received: 30 July 2023

Accepted: 6 March 2024

First Online: 23 April 2024

Declarations

:

: The authors declare no conflict of interests.