Volume 10,
Number 1,
January 2005
- Nikil D. Dutt:
Editorial.
1-2
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Hui Huang, Xin Yuan:
Technology mapping and architecture evalution for k/m-macrocell-based FPGAs.
3-23
Electronic Edition (ACM DL) BibTeX
- Shanq-Jang Ruan, Kun-Lin Tsai, Edwin Naroska, Feipei Lai:
Bipartitioning and encoding in low-power pipelined circuits.
24-32
Electronic Edition (ACM DL) BibTeX
- Seda Ogrenci Memik, Ryan Kastner, Elaheh Bozorgzadeh, Majid Sarrafzadeh:
A scheduling algorithm for optimization and early planning in high-level synthesis.
33-57
Electronic Edition (ACM DL) BibTeX
- Saurabh N. Adya, Igor L. Markov:
Combinatorial techniques for mixed-size placement.
58-90
Electronic Edition (ACM DL) BibTeX
- Mehrdad Nourani, Mohammad H. Tehranipour:
RL-huffman encoding for test compression and power reduction in scan applications.
91-115
Electronic Edition (ACM DL) BibTeX
- Gene Eu Jan, Ki-Yin Chang, Su Gao, Ian Parberry:
A 4-geometry maze router and its application on multiterminal nets.
116-135
Electronic Edition (ACM DL) BibTeX
- Péter Arató, Zoltán Ádám Mann, András Orbán:
Algorithmic aspects of hardware/software partitioning.
136-156
Electronic Edition (ACM DL) BibTeX
- Dimitrios Kagaris:
A unified method for phase shifter computation.
157-167
Electronic Edition (ACM DL) BibTeX
- Chi-Chou Kao, Yen-Tai Lai:
An efficient algorithm for finding the minimal-area FPGA technology mapping.
168-186
Electronic Edition (ACM DL) BibTeX
Volume 10,
Number 2,
April 2005
- Noureddine Chabini, El Mostapha Aboulhamid, Ismaïl Chabini, Yvon Savaria:
Scheduling and optimal register placement for synchronous circuits derived using software pipelining techniques.
187-204
Electronic Edition (ACM DL) BibTeX
- Aiqun Cao, Naran Sirisantana, Cheng-Kok Koh, Kaushik Roy:
Synthesis of skewed logic circuits.
205-228
Electronic Edition (ACM DL) BibTeX
- Ismail Kadayif, Anand Sivasubramaniam, Mahmut T. Kandemir, Gokul B. Kandiraju, Guangyu Chen:
Optimizing instruction TLB energy using software and hardware techniques.
229-257
Electronic Edition (ACM DL) BibTeX
- Xiao Liu, Michael S. Hsiao, Sreejit Chakravarty, Paul J. Thadikaran:
Efficient techniques for transition testing.
258-278
Electronic Edition (ACM DL) BibTeX
- Kara K. W. Poon, Steven J. E. Wilton, Andy Yan:
A detailed power model for field-programmable gate arrays.
279-302
Electronic Edition (ACM DL) BibTeX
- Soumendu Bhattacharya, Abhijit Chatterjee:
Optimized wafer-probe and assembled package test design for analog circuits.
303-329
Electronic Edition (ACM DL) BibTeX
- Saraju P. Mohanty, N. Ranganathan:
Energy-efficient datapath scheduling using multiple voltages and dynamic clocking.
330-353
Electronic Edition (ACM DL) BibTeX
- Azadeh Davoodi, Ankur Srivastava:
Voltage scheduling under unpredictabilities: a risk management paradigm.
354-368
Electronic Edition (ACM DL) BibTeX
- Zhong Wang, Xiaobo Sharon Hu:
Energy-aware variable partitioning and instruction scheduling for multibank memory architectures.
369-388
Electronic Edition (ACM DL) BibTeX
- Jason Cong, Joseph R. Shinnerl, Min Xie, Tim Kong, Xin Yuan:
Large-scale circuit placement.
389-430
Electronic Edition (ACM DL) BibTeX
Volume 10,
Number 3,
July 2005
- JoAnn M. Paul, Donald E. Thomas, Andrew S. Cassidy:
High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors.
431-461
Electronic Edition (ACM DL) BibTeX
- Arnab Roy, S. K. Panda, Rajeev Kumar, P. P. Chakrabarti:
A framework for systematic validation and debugging of pipeline simulators.
462-491
Electronic Edition (ACM DL) BibTeX
- Ansuman Banerjee, Pallab Dasgupta:
The open family of temporal logics: Annotating temporal operators with input constraints.
492-522
Electronic Edition (ACM DL) BibTeX
- Farinaz Koushanfar, Inki Hong, Miodrag Potkonjak:
Behavioral synthesis techniques for intellectual property protection.
523-545
Electronic Edition (ACM DL) BibTeX
- Puneet Gupta, Andrew B. Kahng, Stefanus Mantik:
Routing-aware scan chain ordering.
546-560
Electronic Edition (ACM DL) BibTeX
- Hua Xiang, Xiaoping Tang, Martin D. F. Wong:
An algorithm for integrated pin assignment and buffer planning.
561-572
Electronic Edition (ACM DL) BibTeX
- Jaehwan John Lee, Vincent John Mooney III:
An o(min(m, n)) parallel deadlock detection algorithm.
573-586
Electronic Edition (ACM DL) BibTeX
Volume 10,
Number 4,
October 2005
- Ian G. Harris:
Introduction.
587-588
Electronic Edition (ACM DL) BibTeX
- Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner:
XFM: An incremental methodology for developing formal models.
589-609
Electronic Edition (ACM DL) BibTeX
- Masahiro Fujita:
Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths.
610-626
Electronic Edition (ACM DL) BibTeX
- Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Chih-Chan Lin:
Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator.
627-650
Electronic Edition (ACM DL) BibTeX
- Jason T. Higgins, Mark Aagaard:
Simplifying the design and automating the verification of pipelines with structural hazards.
651-672
Electronic Edition (ACM DL) BibTeX
- Saeed Shamshiri, Hadi Esmaeilzadeh, Zainalabedin Navabi:
Instruction-level test methodology for CPU core self-testing.
673-689
Electronic Edition (ACM DL) BibTeX
- Ahmad A. Al-Yamani, Edward J. McCluskey:
Test chip experimental results on high-level structural test.
690-701
Electronic Edition (ACM DL) BibTeX
- Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen:
An event-based monitoring service for networks on chip.
702-723
Electronic Edition (ACM DL) BibTeX
Copyright © Sun May 17 00:29:44 2009
by Michael Ley (ley@uni-trier.de)