Presentation
Symbolic analysis tools-the state of the art
Author/s | Fernández Fernández, Francisco Vidal
Rodríguez Vázquez, Ángel Benito |
Department | Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo |
Publication Date | 1996 |
Deposit Date | 2019-11-28 |
Published in |
|
ISBN/ISSN | 0-7803-3073-0 |
Abstract | This paper reviews the main last generation symbolic analyzers, comparing them in terms of functionality, pointing out also their shortcomings. The state of the art in this field is also studied, pointing out directions for future research. |
Citation | Fernández Fernández, F.V. y Rodríguez Vázquez, Á.B. (1996). Symbolic analysis tools-the state of the art. En IEEE International Symposium on Circuits and Systems (ISCAS) (798-801), Atlanta, USA: Institute of Electrical and Electronics Engineers. |
Files | Size | Format | View | Description |
---|---|---|---|---|
SYMBOLIC ANALYSIS TOOLS.pdf | 468.9Kb | [PDF] | View/ | |