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