default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASP-DAC 2004: Yokohama, Japan
- Masaharu Imai:
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, Yokohama, Japan, January 27-30, 2004. IEEE Computer Society 2004, ISBN 0-7803-8175-0
Keynote address
- Rudy Lauwereins:
System level design technology for realizing an ambient intelligent environment. 1-3
Selected European activities in SoC low power design methodologies and research networking
- Peter Marwedel, Lars Wehmeyer, Manish Verma, Stefan Steinke, Urs Helmig:
Fast, predictable and low energy memory references through architecture-aware compilation. 4-11 - Wolfgang Nebel:
Predictable design of low power systems by pre-implementation estimation and optimization. 12-17 - Ahmed Amine Jerraya:
EuroSoC: towards a joint university/industry research infrastructure for system on chip and system in package. 18
Floorplanning
- Ning Fu, Shigetoshi Nakatake, Yasuhiro Takashima, Yoji Kajitani:
Abstraction and optimization of consistent floorplanning with pillar block constraints. 19-24 - Xuliang Zhang, Yoji Kajitani:
Space-planning: placement of modules with controlled empty area by single-sequence. 25-30 - Jacob R. Minz, Sung Kyu Lim:
Layer assignment for reliable system-on-package. 31-37 - Xiaoping Tang, Martin D. F. Wong
:
On handling arbitrary rectilinear shape constraint. 38-41 - Chang-Tzu Lin, De-Sheng Chen, Yiwen Wang:
Robust fixed-outline floorplanning through evolutionary search. 42-44
Modeling for analog circuits
- Jian Wang, Jun Tao, Xuan Zeng, Charles C. Chiang, Dian Zhou:
Analog circuit behavioral modeling via wavelet collocation method with auto-companding. 45-50 - Ewout Martens, Georges G. E. Gielen:
High-level modeling of continuous-time Delta-Sigma A/D-converters using formal models. 51-56 - Payam Heydari:
High-frequency noise in RF active CMOS mixers. 57-60 - Rasit Onur Topaloglu, Alex Orailoglu:
On mismatch in the deep sub-micron era - from physics to circuits. 62-67
Behavioral synthesis
- Deming Chen, Jason Cong:
Register binding and port assignment for multiplexer optimization. 68-73 - Jumpei Uchida, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki:
A thread partitioning algorithm in low power high-level synthesis. 74-79 - Nobuhiro Doi, Takashi Horiyama, Masaki Nakanishi, Shinji Kimura:
Minimization of fractional wordlength on fixed-point conversion for high-level synthesis. 80-85 - Hashem Hashemi Najaf-abadi:
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline. 86-91
Delay test and BIST
- Kai Yang, Kwang-Ting Cheng, Li-C. Wang:
TranGen: a SAT-based ATPG for path-oriented transition faults. 92-97 - Xiang Lu, Zhuo Li, Wangqi Qiu, D. M. H. Walker, Weiping Shi:
Longest path selection for delay test under process variation. 98-103 - Rei-Fu Huang, Yan-Ting Lai, Yung-Fa Chou, Cheng-Wen Wu:
SRAM delay fault modeling and test algorithm development. 104-109 - Sukanta Das, Debdas Dey, Subhayan Sen, Biplab K. Sikdar, Parimal Pal Chaudhuri:
An efficient design of non-linear CA based PRPG for VLSI circuit testing. 110-112 - Andrew B. Kahng, Sherief Reda:
Combinatorial group testing methods for the BIST diagnosis problem. 113-116
Embedded tutorial + regular session: embedded szstem applications
- Yukikazu Nakamoto:
Toward mobile phone Linux. 117-124 - Yan Wang, Chi-Ying Tsui, Roger S. Cheng, Wai Ho Mow:
Power control of CDMA systems with successive interference cancellation using the knowledge of battery power capacity. 125-130 - Alexander Maxiaguine, Simon Künzli, Samarjit Chakraborty, Lothar Thiele:
Rate analysis for streaming applications with on-chip buffer constraints. 131-136
Placement
- Mongkol Ekpanyapong, Sung Kyu Lim:
Performance-driven global placement via adaptive network characterization. 137-142 - Bernd Obermeier, Frank M. Johannes:
Temperature-aware global placement. 143-148 - Tetsuya Iizuka, Makoto Ikeda, Kunihiro Asada:
High speed layout synthesis for minimum-width CMOS logic cells via Boolean satisfiability. 149-154 - Keoncheol Shin, Taewhan Kim:
An integrated approach to timing-driven synthesis and placement of arithmetic circuits. 155-158 - Di Wu, Jiang Hu, Rabi N. Mahapatra, Min Zhao:
Layer assignment for crosstalk risk minimization. 159-162
RF design methodology
- Zhao Li, Ravikanth Suravarapu, Roy Hartono, Sambuddha Bhattacharya, Kartikeya Mayaram, Chuanjin Richard Shi:
CrtSmile: a CAD tool for CMOS RF transistor substrate modeling incorporating layout effects. 163-168 - Min Chu, David J. Allstot, Jeffrey M. Huard, Kim Y. Wong:
NSGA-based parasitic-aware optimization of a 5GHz low-noise VCO. 169-174 - Praveen Ghanta, Zheng Li, Jaijeet S. Roychowdhury:
Analytical expressions for phase noise eigenfunctions of LC oscillators. 175-180 - Makram M. Mansour, Mohammad M. Mansour, Amit Mehrotra:
Analysis of MOS cross-coupled LC-tank oscillators using short-channel device equations. 181-185
Practical issues in logic synthesis
- Ko Yoshikawa, Yasuhiko Hagihara, Keisuke Kanamaru, Yuichi Nakamura, Shigeto Inui, Takeshi Yoshimura:
Timing optimization by replacing flip-flops to latches. 186-191 - Hiroyuki Higuchi, Yusuke Matsunaga:
Enhancing the performance of multi-cycle path analysis in an industrial setting. 192-197 - Noureddine Chabini, Wayne H. Wolf:
An approach for reducing dynamic power consumption in synchronous sequential digital designs. 198-204 - Yen-Te Ho, TingTing Hwang:
Low power design using dual threshold voltage. 205-208 - Chang Woo Kang, Ali Iranli, Massoud Pedram:
Technology mapping and packing for coarse-grained, anti-fuse based FPGAs. 209-211
Effective test and diagnosis
- Ozgur Sinanoglu, Alex Orailoglu:
Efficient RT-level fault diagnosis methodology. 212-217 - Alexander Smith, Andreas G. Veneris, Anastasios Viglas:
Design diagnosis using Boolean satisfiability. 218-223 - Hafizur Rahaman, Debesh K. Das, Bhargab B. Bhattacharya:
Testable design of GRM network with EXOR-tree for detecting stuck-at and bridging faults. 224-229 - Terumine Hayashi, Haruna Yoshioka, Tsuyoshi Shinogi, Hidehiko Kita, Haruhiko Takase:
Test data compression technique using selective don't-care identification. 230-233 - Seongmoon Wang, Srimat T. Chakradhar, Kedarnath J. Balakrishnan:
Re-configurable embedded core test protocol. 234-237
System-level design methodology
- C. Schulz-Key, Markus Winterholer, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel:
Object-oriented modeling and synthesis of SystemC specifications. 238-243 - Robertas Damasevicius, Vytautas Stuikys:
Application of UML for hardware design based on design process model. 244-249 - Yuichiro Miyaoka, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki:
A cosynthesis algorithm for application specific processors with heterogeneous datapaths. 250-255 - Michiaki Muraoka, Hiroaki Nishi, Rafael K. Morizawa, Hideaki Yokota, Hideyuki Hamada:
Design methodology for SoC arthitectures based on reusable virtual cores. 256-262
Advanced design and modeling techniques
- Makoto Mori, Hongyu Chen, Bo Yao, Chung-Kuan Cheng:
A multiple level network approach for clock skew minimization with process variations. 263-268 - Shang-Wei Tu, Jing-Yang Jou, Yao-Wen Chang:
Layout techniques for on-chip interconnect inductance reduction. 269-273 - Zhong Wang, Jianwen Zhu:
Piecewise quadratic waveform matching with successive chord iteration. 274-279 - Hsu-Wei Huang, Cheng-Yeh Wang, Jing-Yang Jou:
Optimal design of high fan-in multiplexers via mixed-integer nonlinear programming. 280-283 - Woopyo Jeong, Bipul Chandra Paul, Kaushik Roy:
Adaptive supply voltage technique for low swing interconnects. 284-287
Analog design and evaluation
- Kyeong-Sik Min, Young-Hee Kim, Daejeong Kim, Dong Myeong Kim, Jin-Hong Ahn:
A large-current-output boosted voltage generator with non-overlapping clock control for sub-1-V memory applications. 288-291 - Jianhua Gan, Shouli Yan, Jacob A. Abraham:
Effects of noise and nonlinearity on the calibration of a non-binary capacitor array in a successive approximation analog-to-digital converter. 292-297 - Chee-Kian Ong, Dongwoo Hong, Kwang-Ting Cheng, Li-C. Wang:
Jitter spectral extraction for multi-gigahertz signal. 298-303 - Quoc-Hoang Duong, Sang-Gug Lee:
A 35 dB-linear exponential function generator for VGA and AGC applications. 304-306 - Simon Cimin Li, Vincent Chia-Chang Lin:
A high efficiency 0.5W BTL class-D audio amplifier with RWDM technique. 307-309
System design verification
- Miroslav N. Velev:
Efficient translation of boolean formulas to CNF in formal verification of microprocessors. 310-315 - Miroslav N. Velev:
Using positive equality to prove liveness for pipelined microprocessors. 316-321 - Samar Abdi, Daniel Gajski:
On deriving equivalent architecture model from system specification. 322-327 - Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yang Jou:
On compliance test of on-chip bus for SOC. 328-333
Opportunities with the open architecture test system
- Kazumi Hatayama, Rochit Rajsuman:
Opportunities with the open architecture test system. 334 - Rochit Rajsuman:
New opportunities with the open architecture test system. 335 - Yasumasa Nishimura:
Open architecture tester: what is a key issue of OAT? 336 - Srimat T. Chakradhar:
Open architecture test system: not why but when! 337-340 - Adi Merschon:
New opportunities with the open architecture test system. 341 - Dennis M. Petrich:
Signal integrity analysis in the open architecture. 342 - Tetsuo Tada:
Opportunities with the open architecture test system. 343
C-based design examples
- Kazutoshi Wakabayashi:
C-based behavioral synthesis and verification analysis on industrial design examples. 344-348 - Chris Sullivan, Alex Wilson, Stephen P. G. Chappell:
Using C based logic synthesis to bridge the productivity gap. 349-354
Buffered tree construction
- Cliff C. N. Sze, Jiang Hu, Charles J. Alpert:
A place and route aware buffered Steiner tree construction. 355-360 - Sampath Dechu, Zion Cien Shen, Chris C. N. Chu:
An efficient routing tree construction algorithm with buffer insertion, wire sizing and obstacle considerations. 361-366 - Jun Chen, Lei He:
Modeling of coplanar waveguide for buffered clock tree. 367-372
Power-aware approach for microprocessor design
- Kugan Vivekanandarajah, Thambipillai Srikanthan, Saurav Bhattacharyya:
Decode filter cache for energy efficient instruction cache hierarchy in super scalar architectures. 373-379 - Venkata Syam P. Rapaka, Emil Talpes, Diana Marculescu:
Mixed-clock issue queue design for energy aware, high-performance cores. 380-383 - G. Surendra, Subhasis Banerjee, S. K. Nandy:
Power-performance trade-off using pipeline delays. 384-386 - Subhasis Banerjee, G. Surendra, S. K. Nandy:
Exploiting program execution phases to trade power and performance for media workload. 387-389 - Subhasis Bhattacharjee, Dhiraj K. Pradhan:
LPRAM: a low power DRAM with testability. 390-393
Analog layout techniques
- Nuttorn Jangkrajarng, Sambuddha Bhattacharya, Roy Hartono, Chuanjin Richard Shi:
Multiple specifications radio-frequency integrated circuit design with automatic template-driven layout retargeting. 394-399 - Sambuddha Bhattacharya, Nuttorn Jangkrajarng, Roy Hartono, Chuanjin Richard Shi:
Hierarchical extraction and verification of symmetry constraints for analog layout automation. 400-405 - Takashi Nojima, Xiaoke Zhu, Yasuhiro Takashima, Shigetoshi Nakatake, Yoji Kajitani:
Multi-level placement with circuit schema based clustering in analog IC layouts. 406-411
Formal verification
- Batsayan Das, Dipankar Sarkar, Santanu Chattopadhyay:
Model checking on state transition diagram. 412-417 - Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang:
Efficient reachability checking using sequential SAT. 418-423 - Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Exploiting state encoding for invariant generation in induction-based property checking. 424-429
Routing methodology
- Xiaoping Tang, Martin D. F. Wong:
Tradeoff routing resource, runtime and quality in buffered routing. 430-433 - Noriyuki Miura, Naoki Kato, Tadahiro Kuroda:
Practical methodology of post-layout gate sizing for 15% more power saving. 434-437 - Chanseok Hwang, Massoud Pedram:
Interconnect design methods for memory design. 438-443 - Hongyu Chen, Chung-Kuan Cheng, Andrew B. Kahng, Makoto Mori, Qinke Wang:
Optimal planning for mesh-based power distribution. 444-449
Exploration for advanced SoC design
- Yangdong Steve Deng, Wojciech Maly:
2.5D system integration: a design driven system implementation schema. 450-455 - Mao-Yin Wang, Chih-Pin Su, Chih-Tsun Huang, Cheng-Wen Wu:
An HMAC processor with integrated SHA-1 and MD5 algorithms. 456-458 - Frank Kienle, Norbert Wehn:
Design methodology for IRA codes. 459-462
Embedded software
- Haobo Yu, Rainer Dömer, Daniel Gajski:
Embedded software generation from system level design languages. 463-468 - Aimen Bouchhima, Sungjoo Yoo, Ahmed Amine Jerraya:
Fast and accurate timed execution of high level embedded software using HW/SW interface simulation model. 469-474 - Aviral Shrivastava, Nikil D. Dutt:
Energy efficient code generation exploiting reduced bit-width instruction set architectures (rISA). 475-477 - Yoonseo Choi, Taewhan Kim:
Memory access driven storage assignment for variables in embedded system design. 478-481
RF modeling and design methodology
- Mitiko Miura-Mattausch:
MOSFET modeling for RF-CMOS design. 482-490 - Robert A. Mullen:
RF design methodologies bridging system-IC-module design. 491-498
Power grid analysis and design
- Haifeng Qian, Sachin S. Sapatnekar:
Hierarchical random-walk algorithms for power grid analysis. 499-504 - Jingjing Fu, Zuying Luo, Xianlong Hong, Yici Cai, Sheldon X.-D. Tan, Zhu Pan:
A fast decoupling capacitor budgeting algorithm for robust on-chip power delivery. 505-510 - Chieki Mizuta, Jiro Iwai, Ken Machida, Tetsuro Kage, Hiroo Masuda:
Large-scale linear circuit simulation with an inversed inductance matrix. 511-516 - Atsushi Kurokawa, Nobuto Ono, Tetsuro Kage, Hiroo Masuda:
DEPOGIT: dense power-ground interconnect architecture for physical design integrity. 517-522
University design contest
- Yusuke Oike, Makoto Ikeda, Kunihiro Asada:
Design of real-time VGA 3-D image sensor using mixed-signal techniques. 523-524 - Kun-Bin Lee, Nelson Yen-Chung Chang, Hao-Yun Chin, Hui-Cheng Hsu, Chein-Wei Jen:
A bandwidth and memory efficient MPEG-4 shape encoder. 525-526 - Yuki Kuroda, Junichi Miyakoshi, Masayuki Miyama, Kousuke Imamura, Hideo Hashimoto, Masahiko Yoshimoto:
A sub-mW MPEG-4 motion estimation processor core for mobile video application. 527-528 - Kimihiro Nishio, Hiroo Yonezu, Shinya Sawa, Yuzo Furukawa:
Analog LSI for motion detection of approaching object with simple-shape recognition based on lower animal vision. 529-530 - Takashi Morimoto, Yohmei Harada, Tetsushi Koide, Hans Jürgen Mattausch:
350nm CMOS test-chip for architecture verification of real-time QVGA color-video segmentation at the 90nm technology node. 531-532 - Ramchan Woo, Sungdae Choi, Ju-Ho Sohn, Seong-Jun Song, Young-Don Bae, Hoi-Jun Yoo:
A low-power graphics LSI integrating 29Mb embedded DRAM for mobile multimedia applications. 533-534 - Simon Cimin Li, Vincent Chia-Chang Lin:
A high efficiency 0.5W BTL class-D audio amplifier with RWDM technique. 535-536 - Naoto Miyamoto, Leo Karnan, Kazuyuki Maruo, Koji Kotani, Tadahiro Ohmi:
A small-area high-performance 512-point 2-dimensional FFT single-chip processor. 537-538 - Dongsheng Ma, Wing-Hung Ki, Chi-Ying Tsui:
Fast adaptive DC-DC conversion using dual-loop one-cycle control in standard digital CMOS process. 539-540 - Yoshihiro Utsurogi, Masaki Haruoka, Toshimasa Matsuoka, Kenji Taniguchi:
A dual-band image-reject mixer for GPS with 64dB image rejection. 541-542 - Yuji Yano, Tetsushi Koide, Hans Jürgen Mattausch:
Associative memory with fully parallel nearest-Manhattan-distance search for low-power real-time single-chip applications. 543-544 - Takahito Miyazaki, Masanori Hashimoto, Hidetoshi Onodera:
A performance comparison of PLLs for clock generation using ring oscillator VCO and LC oscillator in a digital CMOS process. 545-546 - Yi-Ming Wang, Jinn-Shyan Wang:
A reliable low-power fast skew-compensation circuit. 547-548 - Jun Ohta, Tetsuo Furumiya, David C. Ng, Akihiro Uehara, Keiichiro Kagawa, Takashi Tokuda, Masahiro Nunoshita:
A retinal prosthetic device using a pulse-frequency-modulation CMOS image sensor. 549-550 - Tetsuya Sueyoshi, Hiroshi Uchida, Hans Jürgen Mattausch, Tetsushi Koide, Yosuke Mitani, Tetsuo Hironaka:
Compact 12-port multi-bank register file test-chip in 0.35µm CMOS for highly parallel processors. 551-552 - Chun-Pong Yu, Chiu-sing Choy, Hao Min, Cheong-Fat Chan, Kong-Pang Pun:
A low power asynchronous Java processor for contactless smart card. 553-554 - Keiichiro Kagawa, Tomoaki Kawakami, Hiroaki Asazu, Takashi Ikeuchi, Akiko Fujiuchi, Jun Ohta, Masahiro Nunoshita:
An image-sensor-based optical receiver fabricated in a standard 0.35-µm CMOS technology for free-space optical communications. 555-556 - Takeshi Ohkawa, Toshiyuki Nozawa, Masanori Fujibayashi, Naoto Miyamoto, Leo Karnan, Soichiro Kita, Koji Kotani, Tadahiro Ohmi:
The flexible processor an approach for single-chip hardware emulation by dynamic reconfiguration. 557-558 - Martin Yeung-Kei Chui, Wing-Hung Ki, Chi-Ying Tsui:
A dual-band switching digital controller for a buck converter. 561-562 - Arunkumar Balasundaram, Angelo Pereira, Jun-Cheol Park, Vincent John Mooney III:
Golay and wavelet error control codes in VLSI. 563-564 - Kae-Jiun Mo, Shao-Sheng Yang, Tsin-Yuan Chang:
Timing measurement unit with multi-stage TVC for embedded memories. 565-566 - Jung-Yeol Yeom, T. Ishitsu, Hiroyuki Takahashi:
Development of a waveform sampling front-end ASIC for PET. 567-568 - Ryozo Katoh, Shin-ya Kobayashi, Takao Waho:
A dynamic element matching circuit for multi-bit delta-sigma modulators. 569-570 - Yoshihiro Iida, Naohiko Shimizu:
Design of POP-11 (PDP-11 on programmable chip). 571-572 - Ekachai Leelarasmee, Kanitpong Pengwon:
A closed caption TV microcontroller. 573-574 - Jun Ohta, Keiichiro Kagawa, Koichi Yamamoto, Takashi Tokuda, Yu Oya, Masahiro Nunoshita:
Improvement of saturation characteristics of a frequency-demodulation CMOS image sensor. 575-576 - Hala A. Farouk, Magdy Saeb:
Design and implementation of a secret key steganographic micro-architecture employing FPGA. 577-578
Novel techniques in logic synthesis
- Maher N. Mneimneh, Karem A. Sakallah, John Moondanos:
Preserving synchronizing sequences of sequential circuits after retiming. 579-584 - Tsutomu Sasao, Jon T. Butler:
A fast method to derive minimum SOPs for decomposable functions. 585-590 - Debatosh Debnath, Tsutomu Sasao:
Efficient computation of canonical form for Boolean matching in large libraries. 591-596 - Andrés Martinelli, René Krenz, Elena Dubrova:
Disjoint-support Boolean decomposition combining functional and structural methods. 597-599 - Katsunori Tanaka, Yahiko Kambayashi:
Transduction method for design of logic cell structure. 600-603
Future of ITS technologies in the ubiquitous society
- Naoki Tokitsu:
The integration of vehicles into a ubiquitous computing environment computing and networking technologies for vehicles. 604-608
Buffer planning
- Weiping Shi, Zhuo Li, Charles J. Alpert:
Complexity analysis and speedup techniques for optimal buffer insertion with minimum cost. 609-614 - Song Chen, Xianlong Hong, Sheqin Dong, Yuchun Ma, Yici Cai, Chung-Kuan Cheng, Jun Gu:
A buffer planning algorithm with congestion optimization. 615-620 - Yuchun Ma, Xianlong Hong, Sheqin Dong, Song Chen, Yici Cai, Chung-Kuan Cheng, Jun Gu:
Buffer allocation algorithm with consideration of routing congestion. 621-623 - Yi-Hui Cheng, Yao-Wen Chang:
Integrating buffer planning with floorplanning for simultaneous multi-objective optimization. 624-627
Design verification and simulation
- Robert Clarisó, Jordi Cortadella:
Verification of timed circuits with symbolic delays. 628-633 - Tao Feng, Li-C. Wang, Kwang-Ting Cheng:
Improved symbolic simulation by functional-space decomposition. 634-639 - Görschwin Fey, Rolf Drechsler:
Improving simulation-based verification by means of formal methods. 640-643 - Tun Li, Yang Guo, Sikun Li, Fujiang Ao, Gongjie Li:
Parallel verilog simulation: architecture and circuit partition. 644-646
Task scheduling with DVS
- Lap-Fai Leung, Chi-Ying Tsui, Wing-Hung Ki:
Minimizing energy consumption of multiple-processors-core systems with simultaneous task allocation, scheduling and voltage assignment. 647-652 - Dongkun Shin, Jihong Kim:
Dynamic voltage scaling of periodic and aperiodic tasks in priority-driven systems. 653-658 - Bita Gorjiara, Pai H. Chou, Nader Bagherzadeh, Mehrdad Reshadi, David W. Jensen:
Fast and efficient voltage scheduling by evolutionary slack distribution. 659-662 - Lap-Fai Leung, Chi-Ying Tsui, Wing-Hung Ki:
Minimizing energy consumption of hard real-time systems with simultaneous tasks scheduling and voltage assignment using statistical data. 663-665
Global routing
- Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang:
A fast congestion estimator for routing with bounded detours. 666-670 - Zion Cien Shen, Chris C. N. Chu:
Accurate and efficient flow based congestion estimation in floorplanning. 671-676 - Jingyu Xu, Xianlong Hong, Tong Jing, Ling Zhang, Jun Gu:
A coupling and crosstalk considered timing-driven global routing algorithm for high performance circuit design. 677-682 - Jin-Tai Yan, Shun-Hua Lin:
Timing-constrained congestion-driven global routing. 683-686 - Qi Zhu, Hai Zhou, Tong Jing, Xianlong Hong, Yang Yang:
Efficient octilinear Steiner tree construction based on spanning graphs. 687-690
Interconnect and ESD extraction
- Akira Tsuchiya, Masanori Hashimoto, Hidetoshi Onodera:
Representative frequency for interconnect R(f)L(f)C extraction. 691-696 - Tao Jiang, Eric Pettus, Daksh Lehther:
A mixed-mode extraction flow for high performance microprocessors. 697-701 - Liu Yang, Xiaobo Guo, Zeyi Wang:
An efficient method MEGCR for solving systems with multiple right-hand sides in 3-D parasitic inductance extraction. 702-706 - Xiren Wang, Deyan Liu, Wenjian Yu, Zeyi Wang:
Fast and accurate extraction of 3-D interconnect resistance: improved quasi-multiple medium accelerated BEM method. 707-709 - Rouying Zhan, Haigang Feng, Qiong Wu, Xiaokang Guan, Guang Chen, Haolu Xie, Albert Z. Wang:
Concept and extraction method of ESD-critical parameters for function-based layout-level ESD protection circuit design verification. 710-712
Reconfigurable systems
- Jason Helge Anderson, Farid N. Najm:
Interconnect capacitance estimation for FPGAs. 713-718 - Chi-Chou Kao, Yen-Tai Lai:
Area-minimal algorithm for LUT-based FPGA technology mapping with duplication-free restriction. 719-724 - Ping-Hung Yuh, Chia-Lin Yang, Yao-Wen Chang, Hsin-Lung Chen:
Temporal floorplanning using 3D-subTCG. 725-730 - Yasunori Osana, Tomonori Fukushima, Hideharu Amano:
ReCSiP: a reconfigurable cell simulation platform: accelerating biological applications with FPGA. 731-733 - Young-Il Kim, Bong-Il Park, Jae-Gon Lee, Chong-Min Kyung:
SmartGlue: an interface controller with auto reconfiguration for field programmable computing machine. 734-736
HW/SW co-design
- Yoichi Yuyama, Masao Aramoto, Kazutoshi Kobayashi, Hidetoshi Onodera:
An SoC architecture and its design methodology using unifunctional heterogeneous processor array. 737-742 - Nozomu Togawa, Koichi Tachikake, Yuichiro Miyaoka, Masao Yanagisawa, Tatsuo Ohtsuki:
Instruction set and functional unit synthesis for SIMD processor cores. 743-750 - Ruibing Lu, Cheng-Kok Koh:
A high performance bus communication architecture through bus splitting. 751-755 - Dongwan Shin, Samar Abdi, Daniel Gajski:
Automatic generation of bus functional models from transaction level models. 756-758 - Hua Wang, Antonis Papanikolaou, Miguel Miranda, Francky Catthoor:
A global bus power optimization methodology for physical design of memory dominated systems by coupling bus segmentation and activity driven block placement. 759-761
DFM in Nm-process generation
- Shuji Tsukiyama:
Toward stochastic design for digital circuits: statistical static timing analysis. 762-767 - Louis Scheffer:
Physical CAD changes to incorporate design for lithography and manufacturability. 768-773
Advanced interconnect analysis
- Guoyong Shi, Chuanjin Richard Shi:
Parametric reduced order modeling for interconnect analysis. 774-779 - Janet Meiling Wang, Prashant Saxena, Omar Hafiz, Xing Wang:
Realizable parasitic reduction for distributed interconnects using matrix pencil technique. 780-785 - Hao Ji, Qingjian Yu, Wayne Wei-Ming Dai:
SPICE compatible circuit models for partial reluctance K. 786-791 - Clement Luk, Tsung-Hao Chen, Charlie Chung-Ping Chen:
Frequency-dependent reluctance extraction. 792-797
Future reconfigurable computing system
- Masahiko Kawamura, Hideharu Amano:
Future reconfigurable computing system. 798
System-level architecture
- Tudor Dumitras, Sam Kerner, Radu Marculescu:
Enabling on-chip diversity through architectural communication design. 799-805 - Young-Su Kwon, Jae-Gon Lee, Chong-Min Kyung:
Bandwidth tracing arbitration algorithm for mixed-clock SoC with dynamic priority adaptation. 806-811 - Lukai Cai, Haobo Yu, Daniel Gajski:
A novel memory size model for variable-mapping in system level design. 812-817 - Hojun Shim, Naehyuck Chang, Massoud Pedram:
A compressed frame buffer to reduce display power consumption in mobile systems. 818-823
Embedded system architectures
- Tom Vander Aa, Murali Jayapala, Francisco Barat, Geert Deconinck, Rudy Lauwereins, Francky Catthoor, Henk Corporaal:
Instruction buffering exploration for low energy VLIWs with instruction clusters. 824-829 - Hidenori Sato, Toshinori Sato:
A static and dynamic energy reduction technique for I-cache and BTB in embedded processors. 830-833 - Meeyoung Cha, Chun-Gi Lyuh, Taewhan Kim:
Resource-constrained low-power bus encoding with crosstalk delay elimination. 834-837 - Markus Lorenz, Peter Marwedel, Thorsten Dräger, Gerhard P. Fettweis, Rainer Leupers:
Compiler based exploration of DSP energy savings by SIMD operations. 838-841 - Yuki Kobayashi, Shinsuke Kobayashi, Koji Okuda, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai:
Synthesizable HDL generation method for configurable VLIW processors. 842-845
Crosstalk noise analysis
- Janet Meiling Wang, Omar Hafiz, Pinhong Chen:
A non-iterative model for switching window computation with crosstalk noise. 846-851 - Soroush Abbaspour, Massoud Pedram:
Gate delay calculation considering the crosstalk capacitances. 852-857 - Kanak Agarwal, Dennis Sylvester, David T. Blaauw:
A simplified transmission-line based crosstalk noise model for on-chip RLC wiring. 858-864
Expressions for Boolean functions
- Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler:
Minimization of the expected path length in BDDs based on local changes. 865-870 - Shinobu Nagayama, Tsutomu Sasao:
Minimization of memory size for heterogeneous MDDs. 871-874 - Rüdiger Ebendt, Wolfgang Günther, Rolf Drechsler:
Combining ordered best-first search with branch and bound for exact BDD minimization. 875-878 - Ruiming Li, Dian Zhou, Donglei Du:
Satisfiability and integer programming as complementary tools. 879-882 - Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. 883-886
Semi-custom techniques in system design
- Fang Fang, Jianwen Zhu:
Automatic process migration of datapath hard IP libraries. 887-892 - Yiran Chen, Kaushik Roy, Cheng-Kok Koh:
Priority assignment optimization for minimization of current surge in high performance power efficient clock-gated microprocessor. 893-898 - Fei Li, Lei He, Joseph M. Basile, Rakesh J. Patel, Hema Ramamurthy:
High-level area and power-up current estimation considering rich cell library. 899-904
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 21:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
