Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Using global code motions to improve the quality of results for high-level synthesisGupta, S. ; Savoiu, N. ; Dutt, N. ; Gupta, R. ; Nicolau, A.IEEE transactions on computer-aided design of integrated circuits and systems, 2004-02, Vol.23 (2), p.302-312 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Fine-grained transaction-level verification: using a variable transactor for improved coverage at the signal levelAra, K. ; Suzuki, K.IEEE transactions on computer-aided design of integrated circuits and systems, 2005-08, Vol.24 (8), p.1234-1240 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulationDevadas, S. ; Keutzer, K. ; White, J.IEEE transactions on computer-aided design of integrated circuits and systems, 1992-03, Vol.11 (3), p.373-383 [Periódico revisado por pares]PISCATAWAY: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
SIERA: a unified framework for rapid-prototyping of system-level hardware and softwareSrivastava, M. ; Brodersen, R.W.IEEE transactions on computer-aided design of integrated circuits and systems, 1995, Vol.14 (6), p.676-693 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
Synthesis of hazard-free multilevel logic under multiple-input changes from binary decision diagramsLin, B. ; Devadas, S.IEEE transactions on computer-aided design of integrated circuits and systems, 1995-08, Vol.14 (8), p.974-985 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |