abakus@uklirb.UUCP (The ABAKUS Users Group) (02/04/88)
===============================================================================
CALL FOR PAPERS
2nd ABAKUS Workshop
Innsbruck-Igls
Austria
5. - 7. September 1988
Program Chairman Local Chairman Publicity Chairwomen
================ ============== ====================
Prof. Werner Grass Dr. Bernhard Quatember K. Lemmert & A. Wodtko
Passau University Innsbruck University Kaiserslautern University
P.O. Box 2540 Techniker Str. 15 P.O. Box 30 49
D-8390 Passau A-6020 Innsbruck D-6750 Kaiserslautern
F.R.G. Austria F.R.G.
ABAKUS is the User Group of the languages KARL and ABL and related tools for
digital hardware design. The goal of ABAKUS is to support the exchange of
information and experience on the use of these tools in all possible
application areas.
The 2nd ABAKUS Workshop follows the EUROMICRO Conference in Zurich. Innsbruck-
Igls is host of our 2nd ABAKUS Workshop.
TOPIC AREAS
include, but are not limted to:
- Use of KARL/ABL and related software
- for specification and verification of digital hardware systems
- for direct implementation of algorithms onto silicon
- for chip and digital system design planning
- as a design calculus
- as a basis for automatic hardware synthesis
- for technology independent modeling
- for testability analysis
- for test generation
- for fault simulation
- Design examples of KARL/ABL and related software
- Extraction of KARL from layout, circuit netlists and others
- Teaching experiences with KARL/ABL and related tools
- Proposals of new design tools around KARL/ABL
REQUIREMENTS FOR SUBMISSION OF PAPERS:
Authors are invited to submit their extended abstracts or complete papers to
the Program Chairman.
Deadline for abstracts: March 1st, 1988
Each submission should include:
- Name(s), Affiliation(s), complete adress(es), identification of principal
author and telephone number(s)
- Title page: Title of paper and a list of topics, that most closely match
the content of the paper
- 3 copies of submitted paper:
extended abstract: 5 pages including figures
or
full paper: 100 words abstract and complete text not exceeding
15 pages
Notice of acceptance will be mailed to the principal authors by
April 15th, 1988
It is planned to publish the accepted abstracts together with the corresponding
viewgraphs or the complete papers after the workshop.
Participants of the ABAKUS Workshop will have the opportunity to attend a
tutorial on designing digital circuits with KARL/ABL.
If you have questions about KARL/ABL or ABAKUS contact
K. Lemmert & A. Wodtko
Kaiserslautern University
P.O. Box 3049
D-6750 Kaiserslautern, F.R.G.
e-mail: abakus%uklirb%unido%mcvax@seismo.uucp
- - -