Asynchronous Logic Groups Worldwide:
The Index


As the groups page is getting rather large, this index is provided for quick reference.


Alphabetically by Organisation


by Project

A list of software tools is also available.

by Country

o o o o o o o o o o o o o o o o o
o Australia
University of Adelaide
Flinders University
Monash University
Queensland University of Technology
University of South Australia
The University of Sydney
University of Tasmania

o Belgium
IMEC

o Canada
University of British Columbia (UBC)
University of Manitoba
University of Waterloo

o Denmark
Aarhus University
Technical University of Denmark

o Finland
University of Kuopio
Tampere University of Technology

o Germany
Technische Universitat Berlin
Technical University of Chemnitz-Zwickau
Kaiserslautern University
Universitat Ulm

o Hong Kong
The Chinese University of Hong Kong

o Israel
LSI Logic Inc.
Technion

o Italy
University of Genoa
University of Pisa
Politecnico di Torino

o Japan
The University of Aizu
Osaka University
Saitama University
Sharp Electronics
Tokyo Institute of Technology
University of Tokyo
Toshiba

o S. Korea
Kwangju Institute of Science and Technology (K-JIST)

o Netherlands
Eindhoven University of Technology
Groningen University
Philips Research Laboratories

o Portugal
Universidade de Aveiro

o Spain
Universidad de Cantabria
Universitat Politecnica de Catalunya

o Sweden
Kungl Tekniska Högskolan (KTH)

o UK
University of Cambridge
Cogency Technology Inc.
Edinburgh University
University of Hertfordshire
University of Loughborough
University of Manchester
University of Newcastle upon Tyne
Oxford University
South Bank University
University of Surrey
University of Westminster

o USA
Acorn Networks
University of California, Berkeley
University of California, Davis
University of California, San Diego
Caltech
Columbia University
HaL Computer Systems
HP Labs.
Intel Corporation
Oregon State University
University of Southern California
Stanford University
Sun Microsystems Laboratories, Inc.
Theseus Logic, Inc.
University of Utah
University of Washington


by Subject

This could be controversial! Some establishments may occur under several headings, others may not appear. This reflects the state of my knowledge at time of writing. Please feel free to correct any entries.

NB This section is far from complete.

Current thoughts:

CAD

Chips (excluding microprocessors)

DSP

Formal Methods

FPGAs

Microprocessors

Petri Nets/STGs

Synthesis

Tools

Verification


Commercial organisations only