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


Keynote Address I:

Microelectronics Evolution Brings Real Multimedia Era
Tatsuo Izawa, NTT Science and Core Technology Laboratory Group, Japan

Session 1A : Rapid Prototyping

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


Session 1B : Delay Estimation and Optimization

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


Session 1C : Circuit Partitioning

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.3 A RTL Partitioning Method with a Fast Min-Cut Improvement Algorithm
Kenichi Kawaguchi, Chie Iwasaki, Michiaki Muraoka

1C.4 Acceleration of Mincut Partitioning using Hardware CAD Accelerator TP5000
Masahiro Sano, Shintaro Shimogori, Fumiyasu Hirose


Session 1D : Invited Talk

Computing Brokerage and Its Applications in VLSI Design
Youn-Long Lin


Session 2A : Application Specific Design

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


Session 2B : Power: Estimation and Synthesis

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.4 A Power Driven Two-Level Logic Optimizer
Jyh-Mou Tseng, Jing-Yang Jou

2B.5 A Note on the Relationship Between Signal Probability and Switching Activity
Massoud Pedram, Qing Wu, Xunwei Wu


Session 2C : Timing-Driven Layout

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


Session 2D : Invited Talk

JavaTM in Electronic Design Automation
Pete Denyer, Jean Brouwers


Session 3A : Co-Design Experience

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


Session 3B : Design Verification -- Case Studies

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


Session 3C : Circuit Modeling

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


Session 3D : Special Session - Printed Circuit Board (PCB) Design and Electro-magnetic Compatibility

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


Keynote Address II:

CAD Methodology and Business Models for Future Products
Daniel D. Gajski


Session 4A : Analysis and Trade-Offs in System Synthesis

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


Session 4B : Technology Mapping

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


Session 4C : Floorplanning and Placement

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.3 VEAP: Global Optimization based Efficient Algorithm for VLSI Placement
Kong Tianming, Hong Xianlong, Qiao Changge

4C.4 An Improved Objective for Cell Placement
Yu-Wen Tsay, Hsiao-Pin Su, Youn-Long Lin


Session 4D : (Special Session) University LSI Design Contest Presentation

4D.1 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.2 Super Low Power 8-bit CPU with Pass-Transistor Logic
Kazuo Taki, Bu-Yeol Lee, Hideki Tanaka, Kenzo Konishi

4D.3 A Functional Memory Type Parallel Processor for Vector Quantization
K. Kobayashi, M. Kinoshita, M. Takeuchi, H. Onodera, K. Tamaru

4D.4 High Speed Bit-Serial Parallel Processing on Array Architecture
Kazuhito Ito, Takenobu Shimizugashira, Hiroaki Kunieda

4D.5 Self-Timed 1-D ICT Processor
Johnson T.C. Pang, Oliver C.S. Choy, C.F. Chan, W.K. Cham

4D.6 A Real-Time High Performance Edge Detector for Computer Vision Applications
Fahad Alzahrani, Tom Chen

4D.7 An LSI Implementation of the Simple Serial Synchronized Multistage Interconnection Network
Takayuki Kamei, Masashi Sasahara, Hideharu Amano

4D.8 The DRT Network Router Chip
Hiroaki Nishi, Hideharu Amano, Katsunobu Nishimura, Ken-ichiro Anjo, Tomohiro Kudoh

4D.9 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.10 VLSI Implementation of a Real-time Operating System
Takumi Nakano, Yoshiki Komatsudaira, Akichika Shiomi, Masaharu Imai

4D.11 A CMOS Delayed Locked Loop (DLL) for Reducing Clock Skew to Under 500ps
Yong-Bin Kim, Tom Chen

4D.12 A Current Mode Cyclic A/D Converter with a 0.8um CMOS Process
Masaki Kondo, Hidetoshi Onodera, Keikichi Tamaru

4D.13 A Current-mode,3V,20MHz, 9-bit equivalent CMOS Sample-and-Hold Circuit
Yasuhiro Sugimoto, Tetsuya Iida


Session 5A : Co-Design: Architecture and Partitioning

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


Session 5B : Hierarchical/High-Level Testing

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.4 The Use of Hierarchical Information to Test Large Controllers
F. Fummi, D. Sciuto

5B.5 Hierarchical Fault Tracing for VLSI Sequential Circuits from CAD Layout Data in the CAD-linked EB Test System
Katsuyoshi Miura, Koji Nakamae, Hiromu Fujioka


Session 5C : Technology Related Issues

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


Session 5D : (Special Session) Multiproject Chip Services in Asia and the South Pacific

Moderator :Hideharu Amano(Keio Univ.,) and Tokinori Kozawa(STARC)
Chairperson : Kazuhiro Ueda (Shibaura Institute of Technology)

Presented by :

5D.1 The EUROPRACTICE MPC Service
C. Das

5D.2 Multi-Project Chip Activities in Korea-IDEC Perspective-
Chong-Min Kyung, In-Cheol Park, Ho-Jun Song

5D.3 Multi-Project Chip Service for University and Industry in Taiwan
Jen-Sheng Hwang

5D.4 VLSI Design and Education Center (VDEC) Current Status and Future Plan
Kunihiro Asada and Koichiro Hoh


Session 6A : Simulation Environment

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.3 VIDE: A Visual VHDL Integrated Design Environment
Jinian Bian, Hongxi Xue, Ming Su

6A.4 Advanced Processor Design using Hardware Description Language AIDL
Takayuki Morimoto, Kazushi Saito, Hiroshi Nakamura, Taisuke Boku, Kisaburo Nakazawa


Session 6B : Testing for Non-Conventional Fault Models

6B.1 Adaptive Models for Input Data Compaction for Power Simulators
Radu Marculescu, Diana Marculescu, Massoud Pedram

6B.2 Fuzzy-based Circuit Partitioning in Built-in Current Testing
Wang-Dauh Tseng, Kuochen Wang

6B.3 Reducing the Complexity of Path Classification by Reconvergence Analysis
Paul Tafertshofer, Andreas Ganz, Manfred Henftling

6B.4 Modelling and Detection of Dynamic Errors due to Reflection - and Crosstalk-Noise
J. Schrage

6B.5 Fault Coverage Improvement Based on Error Signal Analysis
Mike W.T. Wong, Y. Zhou, Y.S. Lee, Y. Min


Session 6C : Circuit Design and Methodology

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.3 Optimal Loop Bandwidth Design for Low Noise PLL Applications
Kyoohyun Lim, Seunghee Choi, BeomSup Kim

6C.4 +-1.5V CMOS Four-Quadrant Multiplier
Simon C. Li


Session 6D : (Panel Discussion)Collaboration between University and Industry

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)


Keynote Address III:

Some Thoughts on Process Retargettable and Reusable IC Intellectual Property
Neil Weste


Session 7A : High-Level Synthesis Techniques for FPGA's and Regular Arrays

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


Session 7B : Decision Diagrams and Their Applications

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.3 Learning Heuristics for OKFDD Minimization by Evolutionary Algorithms
Nicole Göckel, Rolf Drechsler, Bernd Becker

7B.4 On Properties of Kleene TDDs
Yukihiro Iguchi, Tsutomu Sasao, Munehiro Matsuura


Session 7C : Circuit Analysis and Simulation

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


Session 7D: Tutorial

Design and Test of Processor-Core Based Sytems
Peter Marwedel


Session 8A : Estimation from High-Level/RTL Descriptions

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


Session 8B : Logic Synthesis and Modeling

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


Session 8C : Module Generation and FPGA Layout

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


Session 8D : (Panel Discussion) Design Standardization for 2001

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


Session 9A : Aspects of Hardware and Software Synthesis

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


Session 9B : Sequential Synthesis

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


Session 9C : Theoretical Aspects of Layout Design

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.3 Efficient Routability Checking for Global Wires in Planar Layouts
Naoyuki Iso, Yasushi Kawaguchi, Tomio Hirata

9C.4 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