![](/img/cover-not-exists.png)
The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model
Maziar Goudarzi, Shaahin Hessabi, Naser MohammadZadeh, Nasim ZainolabediniVolume:
32
Year:
2008
Language:
english
Pages:
11
DOI:
10.1016/j.micpro.2008.04.001
File:
PDF, 287 KB
english, 2008