|
|||||
|
|
Applying ELAN Strategies in Simulating Processors over Simple Architectures |
|
| Authors: | Mauricio Ayala-Rincn Rinaldi Maya Neto Ricardo P Jacobi Carlos H Llanos Reiner W Hartenstein |
| Affiliation: | aDepartamento de Matemática, Universidade de Brasília, Brasília D.F., Brasil bDepartamento de Ciência da Computação, Universidade de Brasília, Brasília D.F., Brasil cIESB, Brasília D.F., Brasil dFachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany |
| Abstract: | |
| Keywords: | Rewriting strategies and logic hardware design and verification |
| 本文献已被 ScienceDirect 等数据库收录！ | |
