Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(1)
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD(1)
Proceedings - Design, Automation and Test in Europe Conference and Exhibition(1)
Área temáticas
Ciencias de la computación(3)
Física aplicada(2)
Ingeniería y operaciones afines(1)
Otras ramas de la ingeniería(1)
Principios generales de matemáticas(1)
Origen
scopus(3)
Application and verification of local nonsemantic-preserving transformations in system design
ArticleAbstract: Due to the increasing abstraction gap between the initial system model and a final implementation, tPalabras claves:Design refinement, Formal verification, Synchronization, System designAutores:Ingo Sander, Jantsch A., Raudvere T.Fuentes:scopusPolynomial abstraction for verification of sequentially implemented combinational circuits
Conference ObjectAbstract: Todays integrated circuits with increasing complexity cause the well known state space explosion proPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopusSystem level verification of digital signal processing applications based on the polynomial abstraction technique
Conference ObjectAbstract: Polynomial abstraction has been developed for data abstraction of sequential circuits, where the funPalabras claves:Autores:Ingo Sander, Jantsch A., Raudvere T., Singh A.Fuentes:scopus