Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
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(2)
Física aplicada(2)
Otras ramas de la ingeniería(1)
Principios generales de matemáticas(1)
Origen
scopus(2)
Polynomial 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