TABLE OF CONTENTS ASPDAC 97
Sessions:
[Keynote I]
[1A]
[1B]
[1C]
[1D]
[2A]
[2B]
[2C]
[2D]
[3A]
[3B]
[3C]
[3D]
[Keynote II]
[4A]
[4B]
[4C]
[4D]
[5A]
[5B]
[5C]
[5D]
[6A]
[6B]
[6C]
[6D]
[Keynote III]
[7A]
[7B]
[7C]
[7D]
[8A]
[8B]
[8C]
[8D]
[9A]
[9B]
[9C]
[9D]
Title and Copyright
Organizing Committee
Technical Program Committee
Advisory Board
Steering Committee
General Chair's Message
Program Chair's Message
ASP-DAC '97 University LSI Design Contest
Call for Papers
Best Paper Awards
Microelectronics Evolution Brings Real Multimedia Era
- Tatsuo Izawa, NTT Science and Core Technology Laboratory Group, Japan
-
1A.1 A Co-evaluation of FPGA Architectures and the CAD System for
Telecommunication
- Tsunemasa Hayashi, Atsushi Takahara, Ken-nosuke Fukami
-
1A.2 A Rapid Prototyping Method for Top-Down Design of System-on-Chip
Devices Using LPGAs
- Fumio Suzuki, Katsuhiko Seo, Hisao Koizumi, Masanobu Hiramine, Hiroto
Yasuura, Kazuo Okino, Zvi Or-Bach
-
1A.3 Performance Test of Viterbi Decoder for Wideband CDMA System
- Jang-Hyun Park, Yeo-Chul Rho
-
1B.1 Delay Estimation on Optimization of Logic Circuits: A Survey
- Masahiro Fujita, Rajeev Murgai
-
1B.2 Delay Estimation for Technology Independent Synthesis
- Yutaka Tamiya
-
1B.3 Performance and Reliability Driven Clock Scheduling of Sequential Logic
Circuits
- Atsushi Takahashi, Yoji Kajitani
-
1C.1 CBLO: A Clustering Based Linear Ordering Algorithm for Netlist
Partitioning
- K.S. Seong, C.-M. Kyung
-
1C.2 Design Driven Partitioning
- Dirk Behrens, Robert Tolkiehn, Erich Barke
-
1C.3S A RTL Partitioning Method with a Fast Min-Cut Improvement Algorithm
- Kenichi Kawaguchi, Chie Iwasaki, Michiaki Muraoka
-
1C.4S Acceleration of Mincut Partitioning using Hardware CAD Accelerator
TP5000
- Masahiro Sano, Shintaro Shimogori, Fumiyasu Hirose
Computing Brokerage and Its Applications in VLSI Design
- Youn-Long Lin
-
2A.1 A Programmable Application-Specific VLSI Architecture and Implementation
for Speech Word-Recognizer
- An-Nan Suen, Jhing-Fa Wang, Tswen-Duh Wang
-
2A.2 A High Performance FIR Filter Dedicated to Digital Video Transmission
- Shun Morikawa, Keisuke Okada, Isao Shirakawa, Sumitaka Takeuchi
-
2A.3 An Efficient Hierarchical Clustering Method for the Multiple Constant
Multiplication Problem
- Akihiro Matsuura, Mitsuteru Yukishita, Akira Nagoya
-
2A.4 Structural Approach for Performance Driven ECC Circuit Synthesis
- Chau-Chin Su, Kathy Y. Chen, Shyh-Jye Jou
-
2B.1 Statistical Estimation of Combinational and Sequential
CMOS Digital Circuit Activity Considering Uncertainty of Gate Delay
- Tan-Li Chou, Kaushik Roy
-
2B.2 An Entropy Measure for Power Estimation of Boolean Functions
- Chi-Hong Hwang, Allen Chung-Hao Wu
-
2B.3 An Enhanced Iterative Improvement Method for Evaluating the Maximum
Number of Simultaneous Switching Gates for Combinational Circuits
- Kai Zhang, Haruhiko Takase, Terumine Hayashi, Hidehiko Kita
-
2B.4S A Power Driven Two-Level Logic Optimizer
- Jyh-Mou Tseng, Jing-Yang Jou
-
2B.5S A Note on the Relationship Between Signal Probability and Switching
Activity
- Massoud Pedram, Qing Wu, Xunwei Wu
-
2C.1 Modeling and Layout Optimization of VLSI Devices and Interconnects in
Deep Submicron Design
- Jason Cong
-
2C.2 A New Layout-Driven Timing Model for Incremental Layout Optimization
- Fang-Jou Liu, John Lillis, Chung-Kuan Cheng
-
2C.3 Par-POPINS: A Timing-Driven Parallel Placement Method with the Elmore
Delay Model for Row Based VLSIs
- Tetsushi Koide, Mitsuhiro Ono, Shin'ichi Wakabayashi, Yutaka Nishimaru
JavaTM in Electronic Design Automation
- Pete Denyer, Jean Brouwers
-
3A.1 Polling-based Real-time Software for MPEG2 System Protocol LSIs
- Jiro Naganuma, Makoto Endo
-
3A.2 Synthesis and Analysis of an Industrial Embedded Microcontroller
- Ing-Jer Huang, Li-Rong Wang, Yu-Min Wang
-
3A.3 ASAver.1: An FPGA-Based Education Board for Computer Architecture/System
Design
- Hiroyuki Ochi
-
3B.1 Property Verification in the Design of Telecom Applications
- M. Bombana, P. Cavalloro, F. Ferrandi
-
3B.2 Verification Methodology of Compatible Microprocessors
- Joon-Seo Yim, Chang-Jae Park, Woo-Seung Yang, Hun-Seung Oh,
Hee-Choul Lee, Hoon Choi, Tae-Hoon Kim, Seung-Jong Lee, Nara Won, Yung-Hee Lee,
In-Cheol Park, Chong-Min Kyung
-
3B.3 RTL Verification of Timed Asynchronous and Heterogeneous Systems
using Symbolic Model Checking
- Peter A. Beerel, Vida Vakilotojar
-
3C.1 CB-Power: A Hierarchical Cell-Based Power Characterization and Estimation
Environment for Static CMOS Circuits
- Wen-Zen Shen, Jiing-Yuan Lin, Jyh-Ming Lu
-
3C.2 Power Consumption in CMOS Combinational Logic Blocks at High
Frequencies
- Sri Parameswaran, Hui Guo
-
3C.3 A New Approach for an AHDL Based on System Semantics
- Youcef Bourai, Nouma Izeboudjen, Yacine Bouhabel, Amine Tafat
-
3D.1 EMC-Adequate Design of Printed Circuit Board as a Part of the System
Development
- W. John
-
3D.2 Multi-Pride: A System for Supporting Multi-Layered Printed Wiring
Board Design
- Toshimasa Watanabe
-
3D.3 Crosstalk Noise in High Density and High Speed Interconnections
due to Inductive Coupling
- Tetsuhisa Mido, Kunihiro Asada
CAD Methodology and Business Models for Future Products
- Daniel D. Gajski
-
4A.1 Embedded Architectural Simulation within Behavioral Synthesis Environment
- A. Jemai, P. Kission, A.A. Jerraya
-
4A.2 Evaluating Cost-Performance Tradeoffs for System Level Applications
- Wek-Liang Ing, Cheng-Tsung Hwang, Allen Chung-Hao Wu
-
4A.3 A Quantitative Analysis for Optimizing Memory Allocation
- Youn-Sik Hong, Choong-Hee Cho, Daniel D. Gajski
-
4B.1 Concurrent Cell Generation and Mapping for CMOS Logic Circuits
- Mineo Kaneko, Jialin Tian
-
4B.2 Logic Synthesis for Cellular Architecture FPGAs Using BDDs
- Gueesang Lee
-
4B.3 BDD Based Lambda Set Selection in Roth-Karp Decomposition for LUT
Architecture
- Jie-Hong Jiang, Jing-Yang Jou, Juinn-Dar Huang, Jung-Shian Wei
-
4C.1 General Floorplanning with L-shaped, T-shaped and Soft Blocks Based on
Bounded Slicing Grid Structure
- Maggie Kang, Wayne Wei-Ming Dai
-
4C.2 A Building Block Placement Tool
- Jonathan Dufour, Robert McBride, Ping Zhang, Chung-Kuan Cheng
-
4C.3S VEAP: Global Optimization based Efficient Algorithm for VLSI Placement
- Kong Tianming, Hong Xianlong, Qiao Changge
-
4C.4S An Improved Objective for Cell Placement
- Yu-Wen Tsay, Hsiao-Pin Su, Youn-Long Lin
-
4D.1P HK386: An x86-Compatible 32bit CICS Microprocessor
- C.M. Kyung, I.C. Park, S.K. Hong, K.S. Seong, B.S. Kong, S.J. Lee,
H. Choi, S.R. Maeng, D.T. Kim, J.S. Kim, S.H. Park, Y.J. Kang
-
4D.2P Super Low Power 8-bit CPU with Pass-Transistor Logic
- Kazuo Taki, Bu-Yeol Lee, Hideki Tanaka, Kenzo Konishi
-
4D.3P A Functional Memory Type Parallel Processor for Vector Quantization
- K. Kobayashi, M. Kinoshita, M. Takeuchi, H. Onodera, K. Tamaru
-
4D.4P High Speed Bit-Serial Parallel Processing on Array Architecture
- Kazuhito Ito, Takenobu Shimizugashira, Hiroaki Kunieda
-
4D.5P Self-Timed 1-D ICT Processor
- Johnson T.C. Pang, Oliver C.S. Choy, C.F. Chan, W.K. Cham
-
4D.6P A Real-Time High Performance Edge Detector for Computer Vision
Applications
- Fahad Alzahrani, Tom Chen
-
4D.7P An LSI Implementation of the Simple Serial Synchronized Multistage
Interconnection Network
- Takayuki Kamei, Masashi Sasahara, Hideharu Amano
-
4D.8P The DRT Network Router Chip
- Hiroaki Nishi, Hideharu Amano, Katsunobu Nishimura, Ken-ichiro Anjo,
Tomohiro Kudoh
-
4D.9P Single Cycle Access Cache for the Misaligned Data and Instruction Prefetch
- Joon-Seo Yim, Hee-Choul Lee, Tae-Hoon Kim, Bong-Il Park,
Chang-Jae Park, In-Cheol Park, Chong-Min Kyung
-
4D.10P VLSI Implementation of a Real-time Operating System
- Takumi Nakano, Yoshiki Komatsudaira, Akichika Shiomi, Masaharu Imai
-
4D.11P A CMOS Delayed Locked Loop (DLL) for Reducing Clock Skew to Under
500ps
- Yong-Bin Kim, Tom Chen
-
4D.12P A Current Mode Cyclic A/D Converter with a 0.8um CMOS Process
- Masaki Kondo, Hidetoshi Onodera, Keikichi Tamaru
-
4D.13P A Current-mode,3V,20MHz, 9-bit equivalent CMOS Sample-and-Hold
Circuit
- Yasuhiro Sugimoto, Tetsuya Iida
5A.1 Hardware-Software Co-design: Tools for Architecting Systems-On-A-Chip
Rajesh K. Gupta
5A.2 Trade-off Evaluation in Embedded System Design Via Co-simulation
Claudio Passerone, Luciano Lavagno, Claudio Sansoe, Massimiliano Chiodo, Alberto Sangiovanni-Vincentelli
5A.3 A Transformational Codesign Methodology
Tommy King-Yin Cheung, Graham Hellestrand, Prasert Kanthamanon
-
5B.1 A Testability Analysis Method for Register-Transfer Level Descriptions
- Mizuki Takahashi, Ryoji Sakurai, Hiroaki Noda, Takashi Kambe
-
5B.2 Non-Scan Design for Testable Data Paths Using Thru Operation
- Katsuyuki Takabatake, Michiko Inoue, Toshimitsu Masuzawa, Hideo Fujiwara
-
5B.3 Block-Level Fault Isolation Using Partition Theory and Logic Minimization
Techniques
- C.-J. Richard Shi
-
5B.4S The Use of Hierarchical Information to Test Large Controllers
- F. Fummi, D. Sciuto
-
5B.5S Hierarchical Fault Tracing for VLSI Sequential Circuits from CAD
Layout Data in the CAD-linked EB Test System
- Katsuyoshi Miura, Koji Nakamae, Hiromu Fujioka
-
5C.1 Interconnect Capacitances, Crosstalk, and Signal Delay in High Speed
and High Density VLSI Circuits (No Paper Submitted)
- D.H. Cho, M.H. Seung, N.H. Kim, H.S. Park
-
5C.2 Monte Carlo Simulation for Single Electron Circuits
- Masaharu Kirihara, Kenji Taniguchi
-
5C.3 Parallel Calculation of 3-D Parasitic Resistance and Capacitance
with Linear Boundary Elements
- Wenming Zhou, Zeyi Wang, Lan Rao
-
5C.4 Simulation of Gate Switching Characteristics of a Miniaturized MOSFET
based on a Non-Isothermal Non-Equilibrium Transport Model
- Won-Cheol Choi, Hirobumi Kawahima, Ryo Dang
Moderator :Hideharu Amano(Keio Univ.,) and Tokinori Kozawa(STARC)
Chairperson : Kazuhiro Ueda (Shibaura Institute of Technology)
Presented by :
-
The EUROPRACTICE MPC Service
- C. Das
-
Multi-Project Chip Activities in Korea-IDEC Perspective-
- Chong-Min Kyung, In-Cheol Park, Ho-Jun Song
-
Multi-Project Chip Service for University and Industry in Taiwan
- Jen-Sheng Hwang
-
VLSI Design and Education Center (VDEC) Current Status and Future Plan
- Kunihiro Asada and Koichiro Hoh
-
6A.1 Choosing a Digital Simulator
- John Hillawi
-
6A.2 A Hardware/Software Co-simulation Environment for Micro-processor
Design with HDL Simulator and OS interface
- Yoshiyuki Ito, Yuichi Nakamura
-
6A.3S VIDE: A Visual VHDL Integrated Design Environment
- Jinian Bian, Hongxi Xue, Ming Su
-
6A.4S Advanced Processor Design using Hardware Description Language AIDL
- Takayuki Morimoto, Kazushi Saito, Hiroshi Nakamura, Taisuke Boku,
Kisaburo Nakazawa
-
6B.1 Adaptive Models for Input Data Compaction for Power Simulators
- Radu Marculescu, Diana Marculescu, Massoud Pedram
-
6B.2S Fuzzy-based Circuit Partitioning in Built-in Current Testing
- Wang-Dauh Tseng, Kuochen Wang
-
6B.3S Reducing the Complexity of Path Classification by Reconvergence Analysis
- Paul Tafertshofer, Andreas Ganz, Manfred Henftling
-
6B.4S Modelling and Detection of Dynamic Errors due to Reflection - and
Crosstalk-Noise
- J. Schrage
-
6B.5S Fault Coverage Improvement Based on Error Signal Analysis
- Mike W.T. Wong, Y. Zhou, Y.S. Lee, Y. Min
-
6C.1 Low-Power Multiple-Valued Current-Mode Integrated Circuit with
Current-Source Control and Its Application
- Takahiro Hanyu, Satoshi Kazama, Mitchitaka Kameyama
-
6C.2 Analysis and Design of Multiple-Bit High-Order E-^ Modulator
- Hao-Chiao Hong, Bin-Hong Lin, Cheng-Wen Wu
-
6C.3S Optimal Loop Bandwidth Design for Low Noise PLL Applications
- Kyoohyun Lim, Seunghee Choi, BeomSup Kim
-
6C.4S +-1.5V CMOS Four-Quadrant Multiplier
- Simon C. Li
Moderator : Tokinori Kozawa (STARC)
Chair : Tokinori Kozawa (STARC, Japan)
Panelist :
- Ralph Cavin (SRC,USA)
- Paul Six (IMEC, Belgium)
- Taro Okabe (STARC, Japan)
- Akihiko Morino (NEC,Japan)
- Hiroto Yasuura (Kyushu Univ., Japan)
- Youn-Long Lin (Ting-Hua Univ., Taiwan)
Some Thoughts on Process Retargettable and Reusable IC Intellectual
Property
- Neil Weste
-
7A.1 ChipEst-FPGA: A Tool for Chip Level Area and Timing Estimation of Lookup
Table Based FPGAs for High Level Applications
- Min Xu, Fadi Kurdahi
-
7A.2 Bit-Serial Pipeline Synthesis and Layout for Large-Scale Configurable
Systems
- Tsuyoshi Isshiki, Wayne Wei-Ming Dai, Hiroaki Kunieda
-
7A.3 An Optimal Scheduling Method for Parallel Processing System of Array
Architecture
- Kazuhito Ito, Tadashi Iwata, Hiroaki Kunieda
-
7B.1 AQUILA: An Equivalence Verifier for Large Sequential Circuits
- Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen
-
7B.2 On the Representational Power of Bit-Level and Word-Level Decision
Diagrams
- Bernd Becker, Rolf Drechsler, Reinhard Enders
-
7B.3S Learning Heuristics for OKFDD Minimization by Evolutionary Algorithms
- Nicole Göckel, Rolf Drechsler, Bernd Becker
-
7B.4S On Properties of Kleene TDDs
- Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura
-
7C.1 A Time-Domain Method for Numerical Noise Analysis of Oscillators
- Makiko Okumura, Hiroshi Tanimoto
-
7C.2 A New Linear-Time Harmonic Balance Algorithm for Cyclostationary
Noise Analysis in RF Circuits
- J.S. Roychowdhury, Peter Feldmann
-
7C.3 Enhancement of Parallelism for Tearing-based Circuit Simulation
- Koutaro Hachiya, Toshiyuki Saito, Toshiyuki Nakata, Norio Tanabe
Design and Test of Processor-Core Based Sytems
- Peter Marwedel
-
8A.1 Architecture Evaluation Based on the Datapath Structure and Parallel Constraint
- Masayuki Yamaguchi, Akihisa Yamada, Toshihiro Nakaoka, Takashi Kambe
-
8A.2 A Constructive Method for Data Path Area Estimation During High-Level VLSI
Synthesis
- V. Natesan, Anurag Gupta, Srinivas Katkoori, Dinesh Bhatia, Ranga Vemuri
-
8A.3 RT Level Power Analysis
- Jianwen Zhu, Poonam Agrawal, Daniel D. Gajski
-
8A.4 Statistical Design of Macro-models For RT-level Power Evaluation
- Qing Wu, Chihshun Ding, Chengtah Hsieh, Massoud Pedram
-
8B.1 AND/OR Reasoning Graphs for Determining Prime Implicants in
Multi-Level Combinational Networks
- Dominik Stoffel, Wolfgang Kunz, Stefan Gerber
-
8B.2 Efficient Synthesis of AND/XOR Networks
- Yibin Ye, Kaushik Roy
-
8B.3 An Optimization of AND-OR-EXOR Three-level Networks
- Debatosh Debnath, Tsutomu Sasao
-
8B.4 A New Description of CMOS Circuits at Switch-Level
- Xunwei Wu, Massoud Pedram
-
8C.1 A 2-Dimensional Transistor Placement for Cell Synthesis
- Shunji Saika, Masahiro Fukui, Noriko Shinomiya, Toshira Akino
-
8C.2 DP-Gen: A Datapath Generator for Multiple-FPGA Applications
- Wen-Jong Fang, Allen C.-H. Wu, Ti-Yen Yen, Tsair-Chin Lin
-
8C.3 A Simultaneous Placement and Global Routing Algorithm with Path
Length Constraints for Transport-Processing FPGAs
- Nozomu Togawa, Masao Sato, Tatsuo Ohtsuki
-
8C.4 Not Necessarily More Switches More Routability
- Yu-Liang Wu, Douglas Chang, Malgorzata Marek-Sadowska, Shuji Tsukiyama
The SEMATECH Chip Hierarchical Design System - new paradigms for deep
submicron design
Invited Talk: Greg Ledenbach
Panel : EDA Standardization including CHDS
Moderator : Hitoshi Yoshizawa, NEC
Organizer: Hisakazu Edamatsu, Matsushita Electric Industrial
Panel: The Role of Design Standardization in future complex design
-
9A.1 On the Control-subroutine Implementation of Subprogram Synthesis
- Cheng-Tsung Hwang, Hsiao-Cheng Weng, Yu-Chin Hsu, Mike Tien-Chien Lee
-
9A.2 A Procedure for Software Synthesis from VHDL Models
- Venkatram Krishnaswamy, Rajesh K. Gupta, Prithviraj Banerjee
-
9A.3 Built-in Chaining: Introducing Complex Components into Architectural
Synthesis
- Peter Marwedel, Birger Landwehr, Rainer Dömer
-
9B.1 BDD-based Logic Partitioning for Sequential Circuits
- Ming-Ter Kuo, Yifeng Wang, Chung-Kuan Cheng, Masahiro Fujita
-
9B.2 Cube-Embedding Based State Encoding for Low Power Design
- De-Sheng Chen, Majid Sarrafzadeh
-
9B.3 On Synthesis of Speed-Independent Circuits at STG Level
- Kuan-Jen Lin, Chi-Wen Kuo
-
9C.1 A Mapping from Sequence-Pair to Rectangular Dissection
- Hiroshi Murata, Kunihiro Fujiyoshi, Tomomi Watanabe, Yoji Kajitani
-
9C.2 Solving Constrained Via Minimization by Compact Linear Programming
- C.-J. Richard Shi
-
9C.3S Efficient Routability Checking for Global Wires in Planar Layouts
- Naoyuki Iso, Yasushi Kawaguchi, Tomio Hirata
-
9C.4S Topological Routing Path Search Algorithm with Incremental Routability
Test
- Toshiyuki Hama, Hiroaki Etoh
Session 9D : Tutorial
VHDL Analog and Mixed-Signal Extensions Through Examples
- Alain Vachoux