Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs
Article in Journal of Electronic Testing (April 2024)
The most recent citing publications are shown below. View all 102 publications that cite this research output on Dimensions.
Article in Journal of Electronic Testing (April 2024)
Article in IEEE Transactions on Information Forensics and Security (January 2024)
Article in Journal of Hardware and Systems Security (December 2022)