1 | -- | 32 | Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee. Formal hardware specification languages for protocol compliance verification |
33 | -- | 51 | Hao Li, Srinivas Katkoori, Wai-Kei Mak. Power minimization algorithms for LUT-based FPGA technology mapping |
52 | -- | 74 | Jeonghun Cho, Yunheung Paek, David B. Whalley. Fast memory bank assignment for fixed-point digital signal processors |
75 | -- | 104 | Sandip Das, Susmita Sur-Kolay, Bhargab B. Bhattacharya. Manhattan-diagonal routing in channels and switchboxes |
105 | -- | 132 | Lieh-Ming Wu, Kuochen Wang, Chuang-Yi Chiu. A BNF-based automatic test program generator for compatible microprocessor verification |