Simulation-based verification for high-level synthesis

1991 ◽  
Vol 8 (1) ◽  
pp. 14-20 ◽  
Author(s):  
R. Ernst ◽  
J. Bhasker
2005 ◽  
Author(s):  
Jesus Ruiz-Amaya ◽  
Jose M. de la Rosa ◽  
Manuel Delgado-Restituto ◽  
Angel Rodriguez-Vazquez

Author(s):  
Akira OHCHI ◽  
Nozomu TOGAWA ◽  
Masao YANAGISAWA ◽  
Tatsuo OHTSUKI

2019 ◽  
Vol 12 (2) ◽  
pp. 1-26 ◽  
Author(s):  
Julian Oppermann ◽  
Melanie Reuter-Oppermann ◽  
Lukas Sommer ◽  
Andreas Koch ◽  
Oliver Sinnen

Sign in / Sign up

Export Citation Format

Share Document