Journals in DBLP

ACM Trans. Design Autom. Electr. Syst.
2004, volume: 9, number: 1

1. Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee
   Formal hardware specification languages for protocol compliance verification. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:1, pp:1-32 [Journal]
   
2. Hao Li, Srinivas Katkoori, Wai-Kei Mak
   Power minimization algorithms for LUT-based FPGA technology mapping. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:1, pp:33-51 [Journal]
   
3. Jeonghun Cho, Yunheung Paek, David B. Whalley
   Fast memory bank assignment for fixed-point digital signal processors. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:1, pp:52-74 [Journal]
   
4. Sandip Das, Susmita Sur-Kolay, Bhargab B. Bhattacharya
   Manhattan-diagonal routing in channels and switchboxes. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:1, pp:75-104 [Journal]
   
5. Lieh-Ming Wu, Kuochen Wang, Chuang-Yi Chiu
   A BNF-based automatic test program generator for compatible microprocessor verification. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:1, pp:105-132 [Journal]