Merkliste 
 1 Ergebnisse 
 
1

r-map: Relating Implementation and Specification in Hardwar..:

Fang, Wenji ; Hu, Guangyu ; Zhang, Hongce
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  12 - p. 5113-5126 , 2023