High-level synthesis techniques for in-circuit assertion-based verification

Author(s):  
John Curreri ◽  
Greg Stitt ◽  
Alan D. George
Integration ◽  
1998 ◽  
Vol 25 (2) ◽  
pp. 161-180
Author(s):  
Inki Hong ◽  
Darko Kirovski ◽  
Kevin Kornegay ◽  
Miodrag Potkonjak

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

Sign in / Sign up

Export Citation Format

Share Document