🚀 go-pugleaf

 September 27, 1993

   For all those people interested in attending the Canadian Conference on 
Very Large Scale Integration, the following is an electronic version of 
the preliminary program. 

(Please note that we cannot accept credit cards for registration).
***************************************************************************
             Canadian Conference on Very
               Large Scale Integration

             Conference Canadienne Sur
         L'integration a Tres Grande Echelle
--------------------------------------------------------------------------

***PRELIMINARY PROGRAM

LOCATION:
--------
Banff Springs Hotel
Banff, Alberta, Canada
November 14-16, 1993

CONFERENCE HIGHLIGHTS

CCVLSI '93 has selected the Banff Springs Hotel and Conference Centre as its 
official conference site.  Located in the heart of the majestic Canadian 
Rockies and Banff National Park, this luxurious castle with massive stone 
walls, turrets, and spectacular scenery will host all conference activities.  
Why not stay an extra day or two, explore the park, and enjoy one of Canada's 
premier attractions!

Sunday, November 14

Pre-Conference Tutorials     2:00 - 5:00 pm
Tutorial # 1: Wireless Communications
Tutorial # 2: Formal Verification
Fee: $100.00

Cocktail Reception           7:00 - 9:00 pm
sponsored by Cadence Design Systems

Monday, November 15

Keynote Address              8:15 - 9:15 am
Speaker: Dr. Len Bruton, University of Calgary
Topic: Real Time Processing of Digital Image Sequences for Television and 
Multimedia Applications

Lunch                       12:30 - 2:00 pm
Speaker: Dr. Tony Marsh, President
Canadian Microelectronics Corp., Kingston, Ontario
Topic: CMC's Five Year Business Plan

Tuesday, November 16

Keynote Address              8:30 - 9:30 am
Speaker: Dr. John Gray, Managing Director, Algotronix, Edinburgh, Scotland
Topic: Programmable Logic and Reconfigurable Hardware

Lunch                       12:30 - 2:00 pm
Speaker: Ann Carlsen, Attorney, Swinton & Company, Vancouver, B.C.
Topic: Integrated Circuit Topography Act

Best Paper Award
The Canadian Microelectronics Corporation will provide a $2,000 prize for the 
best paper at the conference.  The award will be judged on the technical merit 
of both the initial submitted version of the paper and the final version as 
well as the lecture or poster presentation.


COMMITTEE INFORMATION

General Chair
Jim Haslett
Dept. of Electrical and Computer Engineering
University of Calgary

Organizing Committee Chair
Brent Serbin
Alberta Microelectronic Centre

Organizing Committee
I. Finvers, University of Calgary
J. Gu, University of Calgary
K. Hoenlinger, Alberta Microelectronic Centre
E. Nowicki, University of Calgary
B. Nowrouzian, University of Calgary
F. Trofimenkoff, University of Calgary
L. Turner, University of Calgary

Technical Program Committee Chair
Graham Birtwistle
Dept. of Computer Science
University of Calgary

Technical Program Committee
J. Barby, University of Waterloo
E. Cerny, University of Montreal
G. Martin, Bell Northern Research
B. McLeod, University of Manitoba
C. Patterson, Alberta Microelectronic Centre
J. Seary, Canadian Microelectronics Corp.
C. Seger, University of British Columbia
M. Serra, University of Victoria
R. Suaya, Weidlinger and Associates
L. Turner, University of Calgary

Exhibits and Publicity Chair
Bob Betteridge
Alberta Microelectronic Centre


SPONSORS

The conference organizers would like to acknowledge the generous support of 
the following sponsors:

Canadian Microelectronics Corporation (CMC)

Alberta Economic Development & Tourism
Alberta Microelectronic Centre
Bell Northern Research/ Northern Telecom
Cadence Design Systems (Canada) Ltd.
Calgary Council for Advanced Technology (CCAT)
Canadian Semiconductor Design Association (CSDA)
Communications Research Centre
Electronic Industry Association of Alberta (EIAA)
Gennum Corporation
IEEE - Southern Alberta Section
Integrated Measurement Systems
LSI Logic Corporation of Canada
LTX Corporation
Mentor Graphics
Micronet
Mitel Corporation
Natural Sciences and Engineering Research Council (NSERC)
NovAtel Communications Limited
NRC Industrial Research Assistance Program
Strategic Microelectronics Consortium
SUN Microsystems
Swinton & Company
TR Labs
University of Calgary


INVITED SPEAKERS

Dr. Len Bruton is a Professor of Electrical and Computer Engineering at the 
University of Calgary where he carries out research on the applications of 
multidimensional digital filters in the field of image processing.  He has 
published extensively on the theory and design of microelectronic filters and 
is the inventor of widely used industrial filters, including FDNR filters and 
LDI filters.  His current work on multidimensional filters can be used for 
image compression and enhancement.
He has served as Head of the Department of Electrical Engineering and Dean of 
Engineering at the University of Calgary, Dean of Engineering at the 
University of Victoria and Chairman of the National Committee of Deans of 
Engineering and Applied Science.  He is currently the University Centre 
Coordinator and founder of the University of Calgary Centre of Excellence in 
Microelectronics which is part of the Federally-funded MICRONET network.
He is a Fellow of the IEEE, a past winner of the ASEE Teaching Award of the 
Pacific North West Section, of the national 1991 Manning Award for Innovation 
and of the Provincial 1992 Alberta Science and Technology Award for Innovation 
in Science.  He is also the recipient of a 1993 Commemorative Medal for the 
125th Anniversary of Canadian Confederation for contributions to Canada.


Ann Carlsen obtained her Bachelor of Arts degree (1970) from the University of 
Windsor and her law degree from Queen's University (LL.B., 1974).  In 1983 she 
graduated from Western New England College (M.Sc.), and went on to obtain her 
second law degree at Suffolk University (J.D., 1988).  Ms. Carlsen is called 
to the Bar of Massachusetts, the Federal Court of the United States, and the 
Bar of British Columbia.  Since 1990, she has been with Swinton & Company, in 
Vancouver, B.C. where she acts for clients on matters relating to the 
acquisition, protection, enforcement, transfer and licensing of patents, 
trademarks, copyrights, integrated circuit topographies, and trade secrets.  
In particular, she is experienced in intellectual property issues as they 
relate to software developers and high technology companies. 
 Ms. Carlsen is a member of the Computer Law Association.  She is also an 
affiliate member of the Patent and Trademark Institute of Canada, and sits on 
their Editorial Board and Publications Committee and Computer Law Committee.


Dr. John Gray is one of the pioneers of integrated circuit engineering and 
Very Large Scale Integration (VLSI) systems and remains very active in the 
microelectronics industry.  He has more than 20 years experience in 
electronics and computing and has written extensively on design technology. 
Dr. Gray received his Ph.D. from the University of Newcastle and was Director 
of the Silicon Structures Project at Caltech from 1977-80.  He founded Lattice 
Logic in 1981 and pioneered the development of silicon compiler products.  
Later, he founded European Silicon Structures (ES2) where he was Vice-
President for Design Technology. 
 Dr. Gray currently resides in Edinburgh, Scotland, and is the founder and 
managing director of Algotronix Ltd., a company that is introducing custom 
computer and programmable logic products.  He teaches advanced VLSI courses at 
Edinburgh University.


Dr. Tony Marsh joined the Canadian Microelectronics Corporation as President 
in January 1993.  Previously he was Assistant Vice-President, Northern Telecom 
Limited where he was responsible for all Corporate University Interaction 
programs.  He has held senior management positions with Bell-Northern Research 
in Product Development, Information Systems, Human Resources, and Training.
Prior to joining Bell-Northern Research, Dr. Marsh was with Bell Telephone 
Laboratories of Holmdel, New Jersey, and also worked as a university professor 
in the U.S.A. and U.K.  He holds a B.S. degree in Physics and a Ph.D. in 
Telecommunications, both from Imperial College, University of London.



TUTORIALS

Sunday, November 14

2:00 - 5:00 pm
Tutorial 1: Wireless Communications;
A three-hour - structured mini-course in wireless communications will be 
presented.  Topics to be covered will include:

- The radio channel
- Types of modulation
- Typical transceiver (fm)
- Multiple access methods
- How the North American Cellular System works
- Current hot areas of research
- Impact of VLSI on wireless communications

Course organizer: George Squires, Director - Wireless Research at TR Labs, 
Calgary.  He holds degrees in Engineering Physics (B.E.) and Control Systems 
(M.Sc.) from the University of Saskatchewan.  He joined Bell Northern Research 
and worked on a variety of projects in the area of central switching systems, 
starting as a design engineer for fault-tolerant control computers for 
telephone switching systems.
He has held various management positions at BNR, including Director of 
Hardware Systems and Assistant Vice President of Development Systems.
His current assignment is to implement a research program on wireless 
communications and to establish a laboratory of the TRLabs consortium in 
Calgary, focusing on wireless communications.



Sunday, November 14

2:00 - 5:00 pm
Tutorial 2: Formal Verification
Designing complex digital systems in VLSI technology usually involves working 
at several levels of abstraction, ranging from very high level behavioral 
specifications down to physical layout.  One of the main difficulties in this 
process is to verify the consistency of the different levels of abstraction.  
Simulation is typically used as the main tool for RcheckingS the consistency 
and despite extensive simulation efforts, serious design errors often remain 
undetected.
Consequently, there has been a growing interest in using formal methods to 
verify design correctness.  This tutorial will provide an overview of the 
various formal hardware verification approaches and discuss their strengths 
and weaknesses.  Two approaches (symbolic model checking, symbolic trajectory 
evaluation), now mature enough to be used in practice, will be discussed in 
greater detail.

Instructors: Dr. Edmund M. Clarke, Jr., received a B.A. in Mathematics from 
the University of Virginia in 1967, an M.A. in Mathematics from Duke 
University in 1968, and a Ph.D. in Computer Science from Cornell University in 
1976. In 1982, he became an Associate Professor in the Computer Science Dept. 
at Carnegie Mellon University, Pittsburgh, PA.  He is now a Professor in the 
School of Computer Science at Carnegie Mellon.
Dr. Clarke is on the editorial boards of Distributed Computing, Journal of 
Logic and Computation, and Formal Methods in System Design.  His interests 
include hardware and software verification, programming languages, parallel 
algorithms, automatic theorem proving, and symbolic computation.

Dr. Carl Seger received his M.A.Sc. in Engineering Physics from Chalmer's 
University in Technology, Sweden, in 1985, and his M.Math and Ph.D. degrees in 
Computer Science from the University of Waterloo in 1986 and 1988 
respectively.  After two years as Research Associate at Carnegie Mellon 
University, he became an Assistant Professor in the Department of Computer 
Science at the University of British Columbia.  In 1991 he became co-director 
of the Integrated Systems Design Laboratory and in 1992 he became a Fellow of 
the Advanced Systems Institute.
Dr. Seger's main research interests are formal methods for system design and 
verification.




PROGRAM


Monday, November 15

8:00 - 8:15 am
Welcoming Remarks

8:15 - 9:15 am
Keynote Address
Real Time Processing of Digital Image Sequences for Television and Multimedia 
Applications
Dr. Len Bruton, University of Calgary

9:15 - 9:45 am
Poster Session


Session I-a : Circuits        Chair: I. Martin

9:45 - 10:10 am;
Enhancement/Depletion GaAs Split Phase Dynamic Logic
O. Law, C.A.T. Salama, University of Toronto, Toronto, ON

10:10 - 10:35 am
Calculation of Transient Radiated Fields from High Speed Interconnects
R. Lohse, G. Bridges, University of Manitoba, Winnipeg, MB

10:35 - 11:00 am
Reduction of Leakage Current Effects in High Temperature Auto-Zeroed 
Amplifiers
I. Finvers, J. Haslett, F. Trofimenkoff, University of Calgary, Calgary, AB


Session I-b : Synthesis I     Chair: E. Cerny

9:45 - 10:10 am
SCSYN: A New Environment for the Synthesis of Switched-Capacitor Filters
Y. Hu, M. Sawan, G. Bois, Ecole Polytechnique de Montreal, Montreal, PQ

10:10 - 10:35 am
A Simulated Annealing Based Methodology for the Automated Synthesis of Bit-
Serial DSP Systems
B. Johnston, L. Turner, University of Calgary, Calgary, AB

10:35 - 11:00 am
Automated Generation of Switched-Capacitor Filters
C. Ouslis, A. S. Sedra, University of Toronto, Toronto, ON


Break;
11:00 - 11:15 am 

Session II-a : Circuits and Systems;
Chair: J. Seary

11:15 - 11:40 am
A 4MHz Current Comparator with 16-bit Resolution
D. Nairn, Z. Cao, Queens University, Kingston, ON

11:40 - 12:05 pm
An Oversampling Delta-Sigma Frequency Discriminator
R. D. Beards, M. A. Copeland, Carleton University, Ottawa, ON

12:05 - 12:30 pm
A CMOS VLSI Amplifier for High Frequency Applications
R. E. Vallee, E. I. El-Masry, Technical University of Nova Scotia, Halifax, NS


Session II-b : Synthesis II      Chair: R. Suaya

11:15 - 11:40 am
High Quality Multi-Partitioning of Networks Using Alternating Objectives
M. Meknassi, E. Aboulhamid, Universite de Montreal, Montreal, PQ

11:40 - 12:05 pm
Using Probabilistic Weights for Operator Assignment in Behavioral Synthesis
R. Shum, J. Knight, Carleton University, Ottawa, ON

12:05 - 12:30 pm
The Impact of Cell Abstraction on Hierarchical 2-D Mask Compaction
P. Plamondon, J. Cloutier, E. Cerny, Universite de Montreal, Montreal, PQ


Lunch;
12:30 - 2:00 pm

Speaker: Dr. Tony Marsh, President
Canadian Microelectronics Corp., Kingston, ON
Topic: CMC's 5-year Business Plan

Session III:

2:00 - 5:00 pm
Poster Session
Industrial Exhibits
Sponsor Presentations

Cadence Design Systems
Mentor Graphics
LTX Corporation
SUN Microsystems
Calgary Council for Advanced Technology 	   (CCAT)
Integrated Measurement Systems (IMS)
Micronet
NRC Industrial Research Assistance Program
BNR/Northern Telecom
OptEM Engineering

Session IV-a : Sensors     Chair: J. Haslett

7:30 - 7:55 pm
CMOS Temperature Sensor with Frequency Output for Sensor Arrays
M. Syrzycki, L. Carr, V. Ward, Simon Fraser University, Vancouver, BC

7:55 - 8:20 pm
Residual Stress Modification Due to Die Attach of Micromachined Sensors
R. N. Tait, A. W. Mitchell, Alberta Microelectronic Centre, Edmonton, AB

8:20 - 8:45 pm
A Wide-Range Vacuum Sensor Using Phase-Sensitive Detection Technique
P. Juneja, G. Chapman, Simon Fraser University, Vancouver, BC

8:45 - 9:10 pm
Heterodyne Electrostatic Force Microscopy for Non-Invasive Integrated Circuit 
Measurement
G. Bridges, R. Said, M. Mittal, D. J. Thomson, University of Manitoba, 
Winnipeg, MB


Session IV-b : Asynchronous design
Chair: G. Birtwistle

7:30 - 7:55 pm
On Asynchronous and Synchronous ASIC Standard-Cells
B. Reese, R. Auletta, C. Traver, George Mason University, Fairfax, VA, USA

7:55 - 8:20 pm
Interconnecting Asynchronous Control Modules
R. Puri, J. Gu, University of Calgary, Calgary, AB

8:20 - 8:45 pm
Automatically Deriving and Proving Invariants of Synchronized Transition 
Programs
T. Lee, M. Greenstreet, C. Seger, University of British Columbia, Vancouver, 
BC

8:45 - 9:10 pm
Decomposing State Transition Graphs
M. Escalante, M. Cheng, University of Victoria, Victoria, BC


Tuesday, November 16

8:30 - 9:30 am
Keynote Address
Programmable Logic and Reconfigurable Hardware 
Dr. John Gray, Managing Director
Algotronix Ltd., Edinburgh, Scotland

9:30 - 10:00 am
Poster Session


Session V-a: Analog           Chair: J. Barby;

10:00 - 10:25 am
A Rule-Based Approach for High-Level Analog and Mixed Analog/Digital Synthesis
R. Guindi, M. I. Elmasry, University of Waterloo, Waterloo, ON

10:25 - 10:50 am
A Technique for On-Chip Analog VLSI Circuit Testing
K. Tung , Kwasniewski, Carleton University, Ottawa, ON

10:50 - 11:15 am
The Use of Sensitivity Analysis in the Synthesis of Analog Circuits
N. Belabbes, B. Kaminska, M. Sawan, Ecole Polytechnique de Montreal, Montreal, 
PQ


Session V-b: Test I           Chair: C. Seger;

10:00 - 10:25 am
A Study of Theoretical Issues in the Synthesis of Delay Fault Testable 
Circuits
S. Chakravarty, State University of New York, Buffalo, NY, USA

10:25 - 10:50 am
A March Test for Fault Type Location in DRAMs
L. Shen, B. F. Cockburn, University of Alberta, Edmonton, AB

10:50 - 11:15 am
STAR: A Super Fast Fault Simulator for Synchronous Sequential Circuits
J. Jou, S. Chen, National Cheng Kung University, Tainan, Taiwan, R.O.C.

Break;
11:15 - 11:40 am 


Session VI-a: Implementations I
Chair: L. Turner

11:40 - 12:05 pm
High-Speed, Low-Power Embedded Dynamic Random Access Memory
R. F. Hobson, Simon Fraser University, Vancouver, BC

12:05 - 12:30 pm
VLSI Implementation of a Scale Integration Co-Processor for a Sensor with 
Spatial Parallel Filtering
M. Savard, M. Tremblay, Universite Laval, Ste-Foy, PQ


Session VI-b: Test II          Chair: M. Serra;

11:40 - 12:05 pm
A High Throughput Complex Arithmetic Processor Design with Built-in Self-Test
H. Ho, L. Desormeaux, J. Lodge, V. Szwarc, Communications Research Centre, 
Ottawa, ON

12:05 - 12:30 pm
Checkers for the 1-out-of-3 Code and the 2-out-of-3 Code
X. Luo, J. C. Muzio, University of Victoria, Victoria, BC


Lunch;
12:30 - 2:00 pm

Speaker: Ann Carlsen, Attorney,
Swinton & Company, Vancouver, B.C.
Topic: Integrated Circuit Topography Act


Session VII-a: Implementations II
Chair: B. McLeod

2:00 - 2:25 pm
Architecture for Multi-Megabit Integrated CAM/RAM
K. Schultz, P. Gulak, University of Toronto, Toronto, ON

2:25 - 2:50 pm
Design and Implementation of a Recognition Accelerator
J. Diamond, M.Holler, C.Park, U.Santoni, S.C.The, Intel Corporation, M.Glier, 
C.L.Schofield, L.Nunez, Nestor, Santa Clara, CA, USA

2:50 - 3:15 pm
A Bit-Serial Multirate LSI Jaumann Digital Filter for Digital CODEC 
Applications
L. M. Smith, B. Nowrouzian, University of Calgary, Calgary, AB


3:15 - 3:40 pm
A Novel ASIC for Combined Framing and Error Correction in DS-1 and DS-3 Signal 
Formats
D. Dunn, W. Grover, TRLabs and University of Alberta, Edmonton, AB


Session VII-b: Synthesis III
Chair: B. Serbin

2:00 - 2:25 pm
Synthesis of VLSI Circuits from Parallel Distributed Behavioural 
Specifications
C. McCrosky, M.Abd-El-Bar, J.Rone, H.El-Gebaly, W.Li, M.Mahroos, Y.Xu, Z.Zhu, 
University of Saskatchewan, Saskatoon, SK

2:25 - 2:50 pm
SYMPHONY: An Integrated Scheduling, Module Allocation and Binding Algorithm 
for Behavioral-Level Datapath Synthesis
T. Wilson, N. Mukherjee, M. Garg, D. Banerji, University of Guelph, Guelph, ON

2:50 - 3:15 pm
Modelling Routing Delays in SRAM-based FPGAs
S. Brown, M. Khellah, Z. Vranesic, University of Toronto, Toronto, ON

3:15 - 3:40 pm
The VLSI Optimality of the Arithmetic Fourier Tranform
H. M. Alnuweiri, O. Antezana, University of British Columbia, Vancouver, BC


POSTER SESSION

Timed Asynchronous Interface Design in Microprocessor-based Systems
M. A. Escalante, N. J. Dimopoulos, University of Victoria, Victoria, BC

A Programmable 16-Bit Cordic Unicell for Manipulator Dynamics Processing
P. McAteer, D. Luke, University of New Brunswick, St. John, NB

Frontiers for High-Level Synthesis of Digital Circuits
L. Ghatraju, M. Abd-El-Barr, C. McCrosky, University of Saskatchewan, 
Saskatoon, SK

Petri Net Fault Model and Testing of Delay-Insensitive Circuits
H. Li, P. Lam, Concordia University, Montreal, PQ

Systolic Array for 2-D IIR Filter Using a Computational Geometric Approach
F. El-Guibaly, A. Tawfik, W. Lu, E. Abdel-Raheem, M. Fahmi, University of 
Victoria, Victoria, BC

Thermal Response of a CMOS-Micromachined Thermistor Sensor
B. Shen, P. Haswell, L. Zhongsheng, A. M. Robinson, University of Alberta, 
Edmonton, AB

Synapse-MOS (Symos) Transistors: Intelligent MOS Transistors with Learning 
Thresholds
S. M. Fakhraie, University of Toronto, Toronto, ON

A Diagnostic Simulation Algorithm for Stuck-at Faults in Combinational 
Circuits
S. Chakravarty, Y. Gong, State University of New York, Buffalo, NY, USA

Automatic Analysis of Hardware Asynchronous Behavior Using CCS
A. Yousif, G. Birtwistle, J. Gu, University of Calgary, Calgary, AB

Sensitivity Optimization of Double Drain/Double Source and Triple Drain/Triple 
Source MOS Magnetic Field Sensors
Y. Audet, G. H. Chapman, Simon Fraser University, Vancouver, BC

A Locally Synchronous Globally Asynchronous Vertex-8 Processing Element For 
Image Reconstruction on a Mesh
J. W. Fitchett, R. D. McLeod, University of Manitoba, Winnipeg, MB

Analog EEPROMs with Low Programming Voltage for Adaptive Circuitry in Northern 
Telecom CMOS4S 1.2 Micron Technology
G. McGonigal, H. Card, University of Manitoba, Winnipeg, MB

An Accurate Analytical Propagation Delay Model for the Optimization of High-
Speed CML Bipolar Circuits
K. Sharaf, M. I. Elmasry, University of Waterloo, Waterloo, ON

1.5V Bootstrapped BiCMOS Logic
R. Chik & C.A.T. Salama, University of Toronto, Toronto, ON

VLSI Neural Network System Based on Reduced Interchip Connectivity
R. Mason, K. Runtz, University of Regina, Regina, SK

Deadlock Preventing Routing in Hypercycles
N. J. Dimopoulos, R. Sivakumar, University of Victoria, Victoria, BC


TRAVEL INFORMATION:

Delegates are encouraged to book their flights to Calgary, Alberta at 
least 21 days in advance and to arrive on Saturday, November 13, to qualify 
for discounted airfares.  Calgary International Airport serves a variety of 
air carriers including Canadian, Air Canada, American, Delta, and United 
Airlines.

Banff is located 128 km west of Calgary Q approximately a 70 minute drive.  
Rental cars can be picked up at the airport and bus service is also available.

Brewster Transportation and Pacific Western provide bus service directly from 
the Calgary International Airport to the Banff Springs Hotel according to the 
following schedule:

Departure     Carrier           Cost (round trip)
3:00 pm       Brewster          $52.00
4:30 pm       Pacific Western   $56.00
6:00 pm       Brewster          $52.00

Please contact Brewster Transportation (1-800-661-1152) or Pacific Western (1-
800-661-1668 ) for more detailed schedule information.


Address Correspondence To:
Karin Hoenlinger
Alberta Microelectronic Centre
200, 3553 - 31 St. N.W.
Calgary, Alberta, Canada T2L 2K7
Phone (403) 289-2043
Fax (403) 289-2047
karin%amcvlsi@fsa.cpsc.ucalgary.ca

REGISTRATION
Registration will be held on Sunday, November 14 from 12:00 noon to 5:00 pm 
and on Monday, November 15 from 8:00 am to 1:00 pm on the 2nd floor of the 
Conference Centre, Banff Springs Hotel.

A pre-registration form is available for your convenience at the back of this 
program.  Registration forms must be received by Oct. 31, 93 to qualify for a 
discount.

ACCOMMODATION
Banff Springs Hotel & Conference Centre
Deadline - October 15, 1993

Please inform the reservation agent that you are attending CCVLSI '93 to 
qualify for the conference rate of:

Standard Room - Single Occupancy     $109.00
Standard Room - Double Occupancy     $116.00

Please note provisions for gratuity covering porterage, housekeeping, and 
convention services are included in these rates.  Provincial Hotel Room Tax (5 
%) and GST (7 %) will also be added.

Check-in time is 4:00 p.m., check-out time is 12:00 noon.
Suites are available upon request.  If you wish to book a suite, please 
contact the hotel direct number.

Banff Springs Hotel reservation phone numbers:

Canada/US Toll Free    1-800-441-1414 (Std. rooms)
Hotel Direct:          (403) 762-2211
Hotel Fax:             (403) 762-8795

OTHER ACCOMMODATION
If you would like further information about accommodation at other Banff 
hotels, please contact:

Karin Hoenlinger
CCVLSI '93 Conference Secretary
(403) 289-2043
(403) 289-2047 FAX

Please make your reservations directly with the hotel of your choice.  We 
strongly recommend you book your accommodation early!

REGISTRATION FORM

CCVLSI '93/ CCITGE '93;
November 14-16, 1993
Banff Springs Hotel
Banff, Alberta, Canada

Please print


Name:___________________________________________
      (Last)             (First)        (Initial)


Organization:___________________________________

Address:________________________________________

________________________________________________

Phone:_________________Fax______________________

E-mail:_________________________________________

Student Supervisor:_____________________________


Supervisor Signature:___________________________



                           Before Oct. 31          After Oct. 31
Conference Registration      $ 225.00              $ 275.00        _________

Full-time student (with ID)  $ 100.00              $ 150.00        _________

Tutorial #1: 
Wireless Communications      $ 100.00              $ 150.00        _________

Tutorial #2: 
Formal Methods               $ 100.00              $ 150.00        _________


Extra Proceedings__________@ $ 50.00                               _________

                               Sub-Total                           _________

	(GST #: R121756878) Add 7% GST                               _________

	Total Amount Enclosed (CDN Funds)                            _________




Please complete and return form to:
CCVLSI '93 Secretary
Alberta Microelectronic Centre
#200, 3553 - 31 Street N.W.
Calgary, Alberta, Canada T2L 2K7

Note: 1.    Please make cheque or money order payable in
            Canadian funds to "Alberta Microelectronic Centre".
            **We are unable to process credit card orders at this
            time.**
      2.    Registration forms must be received by Oct. 31, 93
            to qualify for a discount. Please allow sufficient time
            for mailing.
      3.    Registration fee includes the reception, two lunches,
            and one copy of the conference proceedings.

*************************************************************************
The Alberta Microelectronic Centre may be reached at:
Email: amc@cpsc.ucalgary.ca     | #200, 3553 - 31 St. N.W.
Phone: +1 403 289 2043          | Calgary, Alberta, CANADA
Fax:   +1 403 289 2047          | T2L 2K7