scholarly journals Combining symbolic evaluation and object oriented approach for verifying processor-like architectures at the RT-level

Author(s):  
Jacques Chazarain ◽  
Hélne Collavizza

IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson




Sign in / Sign up

Export Citation Format

Share Document