KARL-related
Literature
(Literature on KARL, ABL,
CVS_BK
and its Applications, published by our group)
- R. Hartenstein:
Fundamentals
of Structured Hardware Design: A Design Language Approach at
Register Transfer Level;
North Holland; Amsterdam/New York, 1977.
- R. W. Hartenstein,
E.
von Puttkamer:
KARL - a Hardware Description Language as a part of a CAD tool for
VLSI;
CHDL'79, Int'l Symp. on Computer Hardware Description Languages and
their
Applications, Palo Alto, California, USA, 1979; IEEE New York,
1979
- R. Hartenstein:
Basics
of Structured
Design Methodologies: Data Paths and Finite State Machines, in (eds.:
P.
Jespers, C. Sequin): Design Methodologies for VLSI Circuits;
Noordhoff
&Stijthoff, Alphen van Rijn), Netherlands, 1981
- R.Hartenstein,
P.Liell,
E.Schaaf:
The Grammar of KARL 2; internal report, Kaiserslautern, 1981
- R. Hartenstein, P.
Liell, E.
Schaaf, B. Weber: KARL user manual and introduction; report, Berkeley /
Kaiserslautern, 1981
- E. Schaaf:
PASCAL-Implementierung
eines KARLcompiler;Diplomarb.;Kaiserslautern 1981
- B. Weber:
PASCAL-Implementierung
eines Simulators auf KARL-2 Basis; Diplomarbeit; University of
Kaiserslautern,1981
- M. Breuer, R.
Hartenstein: Computer
Hardware Description Languages and their Applications; North Holland,
Amsterdam/New
York, 1981
- R.Hartenstein:
KARL-II
eine
Sprache zur Spezifikation beim Entwurf kundenspezifischer
Digitalbausteine;
Angewandte Informatik; 12/1982
- R. Hartenstein, P.
Liell: Specification
of the KARL-III language; University of Kaiserslautern, 1983
- N. N.: KARL-II
Instant;
technical
report, University of Kaiserslautern, 1983
- R. Hartenstein, P.
Liell: KARL-II
Language Reference Manual, rep, University of Kaiserslautern 1983
- R. Hartentstein, A.
Mavridis:
RTCode Instant; CVT report, University of Kaiserslautern, 1983
- R. Hartenstein:
Specification
of the KARL-III language; CVT rep.; University of Kaiserslautern, 1983
- P. Liell: Test
Pattern
Generation
for Data Paths using Iterative Arrays of Cells; Ph.D. Dissertation;
University
of Kaiserslautern, 1983
- A. Sassenhoff*: Core
of
an interactive
graphic Silicon Compilerfor LSI / VLSI esign at Register Transfer
Level,
Ph.D. dissertation, University of Kaiserslautern, 1983
- H. Mirkes:
Simulation of
Petri
nets using the KARL Language; rep., University of Kaiserslautern, 1983
- H. Borrmann: The
super
KARL
filter program; University of Kaiserslautern, 1983
- R. Hartenstein:
KARL-II
application
notes; CVT- report; University of Kaiserslautern, 1983
- G.Girardi,
R.Hartenstein: ABL-Specification
-Draft; CVT-rep., Torino/Kaiserslautern, 1983
- K. Lemmert: KARL-III
grammar
- prelimary version; University of Kaiserslautern, Jan. 1984
- R. Hartenstein, K.
Lemmert:
KARL-III reference manual; CVT report, University of Kaiserslautern 1984
- A. Wodtko: Semantics
Processing
within the KARL-III compiler; Diploma-Thesis; University of
Kaiserslautern,
1984
- K. Lemmert: A
LARL(1)
Parser
of the RT Language KARL-III; Diplarb; University of Kaiserslautern, 1984
- B.Borrmann,
R.Hartenstein*:
Translation of superKarl constructs into the computer hardware
descriptive
language KARL; report, University of Kaiserslautern, May 1984
- N. N.: KARL-III
Instant
; CVT
report, University of Kaiserslautern, June 1984
- B. Borrmann,
R.Hartenstein:
Super KARL-III Specification; CVT report, University of Kaiserslautern
1984
- U. Welters: ABL2KARL
translator:Algorithm
description; CVTreport, University of Kaiserslautern 1984
- N. N.: KARL-II
Hardware
Description
and Simulation Sessions: a collection of examples; report, University
of
Kaiserslautern,1984
- R. Hartenstein, K.
Lemmert*:
Conception and Specification of digital Hardware, guided by a Design
Language;
Proc. 11. Mikroelektronik-Kongress, Munich, 1984
- R. Hartenstein, K.
Lemmert:
A Design Language for the "Long Thin Man": Proposal of a Methodology
for
Problem Capture and Conceptual Design; CVT report, University of
Kaiserslautern, 1985
- R. Hartenstein, A.
Wodtko: Automatic
Generation of Functional Test Patterns from RT Language Source;
internal
report; University of Kaiserslautern, 1985
- G. Girardi, R.
Hartenstein,
U. Welters: ABLED - a RT Level Schematic Editor and Simulator User
Interface;
CVT rep, University of Kaiserslautern, 1985
- H. Borrmann:
hyperKARL-III Language
Reference Manual; CVT-report;University of Kaiserslautern, 1985
- H. Borrmann*: Design
of
a Preprocessor
for the RT Language KARL-III; Diplomarbeit (2 volumes);
University
of Kaiserslautern, 1985
- K. Lemmert: Data
Path
Descriptions;
internal report, University of Kaiserslautern, 1985
- U. Welters: Graphic
Hardware
Description Languages; rep., University of Kaiserslautern, 1985
- A. Mavridis:
Languages
for Simulator
Activation and Test Description; internal report, University of
Kaiserslautern,
1985
- R. Hartenstein,A
Wodtko:
Automatic
generation of Functional Test Patterns from RT language source; Int'l
EUROMICRO
Symposium; Brussels, Belgium, 1985
- G.Girardi, R.
Hartenstein, U.
Welters: ABLED: a RT level Schematic Editor and Simulator user
Interface;
Int`l EUROMICRO Symposium; Brussels, Belgium, 1985
- N. N.: KARL-III
Primer
(draft),
CVT report, University of Kaiserslautern, April 1985
- R. Hartenstein et
al.:
KARL
language update, CVT report, University of Kaiserslautern, 1985
- R. Hauck: KARL-3 on
VAX
under
VMS/User Guide; CVT report, University of Kaiserslautern, 1985
- N. N.: KARL-3 and
SCIL
condensed
grammars for quick reference; University of Kaiserslautern 1985
- A. Mavridis: SCIL-3
Grammar
(Draft), CVT report, University of Kaiserslautern, July 1985
- K. Lemmert: KARL-3
grammar -
version July 1985; CVT report, University of Kaiserslautern, 1985
- A. Mavridis: RTcode
Instant
- version July 1985; CVT report, University of Kaiserslautern, 1985
- R. Hartenstein, K.
Lemmert:
The Hardware Description Language KARL-III: its Integration into a CAD
Tool Box; report, University of Kaiserslautern 1985
- G. Alfs, R.
Hartenstein,
A.
Wodtko: C-Testable Cells for ATPG from RT Descriptions; report;
University
of Kaiserslautern 1985
- R. Hartenstein, A.
Wodtko: Functional
Test Generation within the KARL-III System; report, University of
Kaiserslautern
1985
- R. Hartenstein, W.
Nebel: EDIF-based
Notation for Layout/Circuit Relations: toward Technnology-Independance
of CAD Tools; report; University of Kaiserslautern 1985
- E. von Puttkamer*:
The
SIC System
as a core of a Silicon Compiler, report SFB-124 nr. 18/85, University
of
Kaiserslautern, 1985
- Th. Knieriemen*: A
Program Generator
for the Register Transfer Language KARL- III as a Software Component
for
a CAD System, Dipl.-Thesis, University of Kaiserslautern 1985
- D. Hartert, Th.
Knieriemen*:
IGSIC an interactive graphical Silicon Compiler; report 151/185,
Fachbereich Informatik, University of Kaiserslautern, 1985
- R. Hartenstein, R.
Hauck, A.
Hirschbiel: A KARL simulator Physical Model Extension; report,
University
of Kaiserslautern, 1986
- K. Lemmert*:
Test-friendly structured
Architecture Design for VLSI- Circuits: Guiding the User throug a CAD
System;
EIS-workshop, Bonn, Germany, 1986
- K. Lemmert, W.
Nebel:
Conceptual
Design based on on HDL use; internal report, University of
Kaiserslautern,
Kaiserslautern, 1986
- R. Hartenstein, R.
Hauck: Design
of Symbolic Layout using RT Level CAD Tools; report, University of
Kaiserslautern
1986
- R. Hartenstein, W.
Nebel: REX:
a new CAD Tool shifts Functional Circuit Verification towards RT level;
report, University of Kaiserslautern, 1986
- R.Hartenstein,
R.Hauck*:
Design
of Symbolic Layout with Register Transfer Level Tools; 2.
E.I.S.-Workshop,
Bonn 1986
- R. Hartenstein, R.
Hauck*: Deriving
Behavioural Descriptions from Matrix-oriented Layout; report,
University
of Kaiserslautern, 1986
- R. Hartenstein, R.
Hauck: A
simple Silicon Synthesizer for MOL circuits; report, University of
Kaiserslautern,
1986
- R. Hartenstein, R.
Hauck: Recursive
Cell Declarations in a RT Language; report, University of
Kaiserslautern,
1986
- K. Lemmert: Steps
toward
KARL
Use as a Design Calculus; ABAKUS workshop; University of Passau 1986
- G. Girardi, U.
Welters:
A Graphic
RT-level Editor based on the KARL Compiler Interface; ABAKUS workshop;
University of Passau, Germany, 1986
- R. Hauck: A General
Method for
KARL Extraction from Matrix-oriented Layout; ABAKUS workshop;
University
of Passau, Germany, 1986
- R. Hauck: A simple
KARL-based
Editor for Synthesis and Optimization of MOL (Matrix-oriented Layout);
ABAKUS workshop; University of Passau, Germany, 1986
- G. Alfs, A. Wodtko:
KARL
Modelling
of C Tests for Data Paths; ABAKUS; University of Passau, 1986
- R. Hartenstein
Proposal
of a
High Level Hardware Description Language; ESPRIT / CVS report,
University
of Kaiserslautern, Sept. 1986
- W. Nebel: KARL
Extraction from
Layout; ABAKUS workshop; Passau, Germany, 1986
- R. Hauck, A.
Hirschbiel:
A Physical
Model Extension for KARL Simulators; ABAKUS workshop; Passau, 1986
- N. N.: KARL-related
software
catalogue; Univ. Kaiserslautern, 1986
- R. Hartenstein, K.
Lemmert:
KARL-III Language Reference Manual, ed. March 1986; University of
Kaiserslautern,
- R. Hauck: KARL-III
System V
3.6 Release Notes, CVT report, Univ. Kaiserslautern 1986
- U. Welters: ABLED
User
Manual;
report, University of Kaiserslautern 1986
- D. Hartert, Th.
Knieriemen,
E. von Puttkamer*: Das IGSIC-System als CAD-Werkzeug zum Entwurf
integrierter
Schaltungen, report, University of Kaiserslautern, 1986
- H. Kloesel:
Implementation of
the MLED editor and its application at physical layout level; Diploma
thesis;
Fachber. Informatik; University of Kaiserslautern; 1986
- U. Welters:
Specification of
the MLED multi-level editor; report, University of Kaiserslautern; 1986
- U. Welters:
Implementation of
an ABL-to-EDIF / EDIF-to-ABL converter; report; Fachbereich Informatik,
University of Kaiserslautern, 1986
- J. Eiden:
Implementation
of
the MLED editor and its application at symbolic layout level; Diploma
thesis;
Fachbereich fuer Informatik; University of Kaiserslautern; 1986
- R. Hartenstein: A
very
high
level hardware description language, translatable into KARL - Draft;
ESPRIT-CVS
report, University of Kaiserslautern, 1986
- R. Hartenstein, U.
Welters:
VLSI Design and Simulation at Register Transfer Level; in (eds.: W.
Fichtner,
M. Morf): Proc. IFIP Summer School on VLSI Design, Beatenberg
Switzerland,
1986; Kluwer , 1986
- G. Girardi, R.
Hartenstein,
U. Welters: ABL - an interactive graphic user interface in
microelectronics;
in (Hrsg.: J.Encarnaçao): CAD-Schnittstellen und
Datentransfer-Formate
im Elektronik-Bereich; Springer 1986
- R. Hauck, R.
Hartenstein: The
draft grammar of superKARL-III; internal report, University of
Kaiserslautern,
1986
- J. Gebhard, R.
Hartenstein,
R. Hauck, D. Oelke The superKARL-III Language Specification; internal
report,
University of Kaiserslautern, 1986
- R. Hartenstein, A.
Mavridis:
RT - CODE Instant for KARL-III (new edition) , report, Fachbereich
Informatik,
University of Kaiserslautern 1986
- R. Hartenstein, R.
Hauck: The
KARL System User Guide; CVT report, Kaiserslautern University,
Kaiserslautern,
Germany, 1986
- R. Hartenstein, K.
Lemmert:
A CAD Tool Box around a Hardware Descdription Language; EUROMICRO Symp.
Venice, 1986, North Holland 1986
- N. N. KARL Manual;
University
of Kaiserslautern, 1986
- N. N.: ABAKUS
workshop
Passau,
Germany, June 17 - 20, 1986 - Collection of Viewgraphs; University of
Passau
/ University of Kaiserslautern, August 1986
- G. Girardi, R.
Hartenstein:
ABLED - ein CAD-Werkzeug f. den Entwurf von Digitalsystemen; DECUS
Munich
Symposium, Stuttgart 1986
- R. Hartenstein, U.
Welters:
Higher Level Simulation and CHDLs; Proc. IFIP Summer School on VLSI
Design;
Beatenberg, Switzerld, 1986
- W. Nebel: REX -
Automatic Extraction
of RT-Level Descriptions from Integrated Circuit Layout Data;
Dissertation,
FB Informatik, University of Kaiserslautern, 1986
- Oelke, D.*: VLSI
Design
of the
Functional Decoder of the PISA-Address Generator; Projektarbeit,
University of Kaiserslautern 1986
- Gebhard,J.*: VLSI
Design
of
a Slice of the PISA-Address Generator; Projektarbeit, Un.
Kaiserslautern
1986
- Ast, A.*: KARL-3
Description
of an Image Signal Preprocessor; Projektarbeit, University of
Kaiserslautern
1986
- .J. Gebhardt, R.
Hartenstein,
R. Hauck, D. Oelke: Functional Extraction from Personality Matrixes of
MOL (Matrix-oriented Logic) circuits; IFIP CHDL'87; North Holland 1987
- A. Wodtko: RT
Languages
in Goal-oriented
CAD Algorithms; in (R. Hartenstein, ed.): Hardware Description
Languages;
Elsevier 1987
- K. Lemmert: Data
Path
Descriptions;
in (R. Hartenstein, ed.): Hardware Description Languages; Elsevier ,
1987
- U. Welters: Graphic
Hardware
Description Languages; in (R. Hartentein, ed.): Hardware Description
Languages;
Elsevier, 1987
- K. Lemmert, W.
Nebel:
Conceptual
Design based on on HDL use; (R. Hartenstein, ed.): Hardware Description
Languages; Elsevier Scientific, Amsterdam/New York, 1987
- A. Mavridis:
Languages
for Simulator
Activation and Test Description; in (R. Hartenstein, ed.): Hardware
Description
Languages; Elsevier, 1987
- R. W. Hartenstein:
Simulation
von VLSI-Schaltungen; CAD-CAM REPORT, Febr. 1987
- R. Hartenstein, W.
Nebel: Shifting
Functional Design Verification Towards RT Level by Automatic Register
Transfer
Net Extraction; IFIP CHDL'87, Amsterdam, 1987
- R. Hartenstein, R.
Hauck: Functional
Extraction from Personality Matrixes of MOL (Matrix-Oriented Logic)
Circuits;
IFIP CHDL'87, Amsterdam, 1987
- R. Hartenstein, W.
Nebel: Functional
Design Verification by Register Transfer Net Extraction from Integrated
Circuit Layout Data; Proc. IEEE COMP EURO, Hamburg, 1987
- .J. Tretter:
Realisierung geometrischer
Entwurfs-Beschreibungen in der RT-Ebene durch Cluster-Bildung;
Dissertation,
Un. Kaiserslautern, 1986
- H. Salzmann*:
Implementation
of a Technology-independent Circuit Extractor for hierarchical
grid-based
Layouts; Dipl.-Arbeit; University of Kaiserslautern, 1987
- A. Wodtko*:
Funktional
Test Pattern Generation from KARL Descriptions; E.I.S.-Worksh.
Bonn
1986
- R. Hartenstein:
Computer
Structure
Partitioning Schemes; ESPRIT report, University of Kaiserslautern 1987
- B. Hollunder*:
Design,
Description,
and Verification of a Pocket Calculator using the Language
KARL-III;
Projektarbeit, FB Informatik, University of Kaiserslautern, Jan. 1987
- K. W. Joerg: AMET -
ABLED /
MLED-to-EDIF Translator; Projektarbeit, FB Informatik, University of
Kaiserslautern,
Jan. 1987
- R. Hartenstein, R.
Hauck: A
Behavioural / Non-procedural Mixed-Level Simulator for Digital VLSI
Systems;
ESPRIT / CVS report, CS Dept., University of Kaiserslautern, Febr. 1987
- R. Hartenstein, R.
Hauck: Simulator
Specification for CVS_BK; report, University of Kaiserslautern, Febr.
1987
- R.Hartenstein,
U.Welters: MLED:
A Multiple Abstraction Level Graphical Editor; EUROMICRO'87;
Portsmouth;
UK, Sept. 1987
- R. Hartenstein, U.
Welters*:
Multi Level Graphic Editor as a DBMS for Simulation Environments; ASIM
'87 - 4. Symposium Simulationstechnik; Zuerich, Switzerland,
Sept.
1987
- R. Heinen*:
Portation of
the
KARL-III-System onto the Atari 1040 ST; Projektarbeit; Fachber.
Informatik,
University of Kaiserslautern, 1987
- .J. Altmeyer:
Portation
of the
KARL-III-System onto an IBM PC AT; Projektarbeit; Fachbereich
Informatik,
University of Kaiserslautern; 1987
- G. Fischer*: Test
Pattern Generation
for KARL Primitives using the Test Pattern Generation Program DALGO;
Projektarbeit,
University of Kaiserslautern, 1987
- R. Haack*:
Implementation
of a Programm for Input und Hierarchy Control of an RT Extractor;
Diplomarbeit,
University of Kaiserslautern, 1987
- U. Frank*:
Implementation of
a Programm for Conversion of EDIF RT Networks into a
KARL-3-Description;
Diplomarbeit, University of Kaiserslautern, 1987
- M. Duhl*:
Incremental
Development
and Description of a Shuffle Sort Array - Circuit in hyperKARL from the
Algorithm Representation of the Bubble Sort Algorithm; Projektarb.,
Informatik,
University of Kaiserslautern, 1988
- R. Heinen*: Unser
Manual
for
KARL-3 on ATARI - ST; report, Fachbereich Informatik, University of
Kaiserslautern,
1987
- R. Hartenstein, R.
Hauck, K.
Lemmert, A. Wodtko: KARL-4 and SCIL-3 Grammar (Draft); ESPRIT / CVS
report,
Dept. of Computer Science, University of Kaiserslautern, 1987
- K. Bastian*:
DEsign and
Implementation of an incremental Compiler for SCIL-3 Diplomarbeit, Fb.
Informatik, University of Kaiserslautern, 1987
- A. Schwarz:
Implementierung
von Standardfunktionen und Prozeduren fuer SCIL-3; Diplomarbeit, Fb
Informatik,
University of Kaiserslautern, 1987
- A. Mavridis:
SCIL-III -
A Simulator
and Tester Activation Language for VLSI Circuits; Dissertation, Fb
Informatik,
University of Kaiserslautern, 1987
- J. Gebhard*:
Sprachdefinition
und Implementierung von matrixorientierter Logik in superKARL;
Diplomarbeit,
Fachbereich Informatik, University of Kaiserslautern, 1987
- D. Oelke*:
Implementierung der
Sprache superKARL; Diplomarbeit, Fachbereich Informatik, University of
Kaiserslautern, 1987
- R. Hartenstein:
Computer
Structure
Partioning Schemes; ESPRIT / CVS report, Dept of Computer Science,
University
of Kaiserslautern, 1987
- F. R. Wagner et al.:
A
Digital
System DesignA. Pawlak: Report on the CHDL'87 Conference - Amsterdam,
April
27 - 29, 1987; E.I.S. Workshop, GMD Schloss Birlinghoven, Oct. 1987
- A. Pawlak: Lecture
Notes
on
Hardware Description Languages - Lecture Notes; Arbeitspapiere der GMD,
No. 255, GMD Schloss Birlinghoven, July 1987
- F. R. Wagner, C. M.
Freitas,
L. G. Colendziner: The AMPLO System: An Integrated Environment for
Digital
System Design; IFIP Workshop on Tool Integration and Design
Environments;
Paderborn, Germany, Nov. 1987, North Holland, 1987
- J. Bloedel, R.
Hartenstein,
W. Nebel, M. Ryba: A Technology Description Method; Proc. EUROMICRO
Symp.,
Portsmouth, UK, Sept, 1987; North Holland, Amsterdam, 1987
- K. Haimann*: Design
and
Simulation
of a microprogrammable Computer using the Computer Hardware
Descriptive
Language KARL-3; Diplomarbeit, Institut fuer Informatik,
University
of Stuttgart, 1987
- Alfs, G.: Design and
Implementation
of a Heuristic Sea4ch Algorithm for the KARATE System; Diplomarbeit,
University
of Kaiserslautern, 1987
- Bloedel, J.*: PAGE -
a
ELL(1)-basied
EDIF Parser Generator - Analyis Part; Doplomarbeit, University of
Kaiserslautern,
1987
- Brosowski, J.*:
Window
Management
for the MLED-Graphic System, Dimplomarbeit, University of
Kaiserslautern,
1987
- R. Hartenstein:
Classification
of Hardware Description Languages; in [140]
- R. Hartenstein
(Hrsg.):
Hardware
Description Languages; Band 7 von [141]
- T. Ohtsuki (Series
Editor):
Advances in CAD for VLSI; North Holland Publishing Co. New York,
Amsterdam,
Oxford, Tokyo, 1987
- R. Hartenstein, U.
Welters:
Higher Level Simulation and CHSLs; in [143]
- W. Fichtner, M.
Morf:
VLSI CAD
Tools and Applications; Kluwer, Boston, 1987
- Gimber, J.*:
Implementation
of a Logic Diagramm-Generator; Diplomarbeit, University of
Kaiserslautern,
1987
- Rauscher, R.
Westendorf,
J.:
A System for Verification of Interactive Microprogram Transformations;
EUROMICRO 1987, Portsmouth, UK, in: Microprocessing and
Microprogramming,
North Holland, Amsterdam, 1987
- Riedmueller, M.*:
Implementation
of a Programm for Extraction of RT networks from EDIF circuit
descriptions,
Diplomarbeit, University of Kaiserslautern, 1987
- S. Pitiakudis*:
Design
and Implementation
of Algorithms for Analysis and Optimization of RT graphs and for Rault
Localization; Diplomarbeit, University of Kaiserslautern, 1987
- M. Duhl*:
Description
and Simulation
ausgewaehlter Schaltungsbeispiele in der Sprache superKARL;
Diplomarbeit,
Informatik, University of Kaiserslautern, 1988
- J. Bloedel, R.
Hartenstein,
W. Nabel, M. Ryba: EDIF Notation for Layout / Circuit Relations; in
(ed.
F. Rammig): Tool Integration and Design Environments; North Holland,
1988
- Alfs, G.,
Hartenstein,
R., Wodtko,
A.:The KARL / KARATE System - Automatic Test Pattern Generation Based
on
RT Level Descriptions; Proceedings ITC - Int'l Test Conference, Sept.
12
- 14, 1988, Washington DC., 1988
- Alfs, G.,
Hartenstein,
R., Wodtko,
A.: The KARL/KARATE SYstem - Integrating Functional Test Development
into
a CAD Entvironment for VLSI; Proc. ICCD, Port Chester, NY, USA, 1988
- Alfs, G.,
Hartenstein,
R., Riedmueller,
M., Wodtko, A.:Integration of Simulation, Test Development and Test in
a High Level Design Environment; in: (ed.: D. Edwards) Proceedings IFIP
- TC-10 Conference on Design Methodologies for VLSI and Computer
Architecture, Pisa, Italy, Sept. 19 - 21, 1988, North Holland 1988
- Hartenstein, R.,
Ryba,
M.: Computer
Structure Partitioning Schmemes; in: (ed.: D. Edwards) Proceedings IFIP
- TC-10 Conference on Design Methodologies for VLSI and Computer
Architecture,
Pisa, Italy, Sept. 19 - 21, 1988, North Holland, Amsterdam, 1988
- Alfs, G.,
Hartenstein,
R., Wodtko,
A.: Integration of Test Development into the Design of Full Custom
Circuits;
Tagungsband zur ITG-Fachtagung "Mikroelektronik fuer die
Informationstechnik",
Oct 3 - 5, 1988, Berlin, Germany. VDE-Verlag, Duesseldorf, 1988
- Jansen, K.:
Transformations
of RT descriptions guided by features of logic implementations to be
verified;
Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988
- Hartenstein, R.,
Lemmert, K.:
A systolic design system using KARL; Proc. 2nd ABAKUS workshop,
Innsbruck,
Austria, Sept. 1988
- Hartenstein, R.,
Joerg,
K.,
Welters, U.: A multiple abstraction level editor for VLSI design; Proc.
2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988
- Hartenstein, R.,
Hauck,
R.,
Lemmert, K.: Some new features in KARL-4 and superKARL - a survey ;
Proc.
2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988
- Hauck, R.: KARL-4 -
A
hardware
description language for the design and synthesis of digital hardware;
Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988
- Alfs, G.,
Hartenstein,
R., Riedmueller,
M.: SCIL-III - A language for simulator and tester activation; Proc.
2nd
ABAKUS workshop, Innsbruck, Austria, Sept. 1988
- Alfs, G.,
Hartenstein,
R., Wodtko,
A.: The KARATE system - Integrating functional test development into
the
KARL design environment; Proc. 2nd ABAKUS workshop, Innsbruck,
Austria,
Sept. 1988
- Mayer, Th.:
RANGECOUNTER
- a
Full Custom #circuit for the MoM; Projektarbeit, University of
Kaiserslautern
1988
- Benzschawal, S.*:
RTCLIB, A
Library manager for RTcode; Projektarbeit, University of
Kaiserslautern
1988
- Schmidt, K.: NMOS
Implementation
of PATIL Arrays; Projektarb., University of Kaiserslautern 1988
- Mueller, R.*:
MULTISHIFT
- eine
Vollkundenschaltung fuer die MoM: Layout und Simulation; Projektarbeit,
University of Kaiserslautern 1988
- Nicklaus, H.:
MULTISHIFT
- a
fullcustom circuit for the MoM: Spezifikation und Problemanalyse;
Projektarbeit,
University of Kaiserslautern 1988
- Ast, A.*: NMOS LSI
Design of
an Image Processor accepting Video Signals; Projektarbeit, University
of
Kaiserslautern 1988
- Duhl, M.*:
Parametrischer Entwurf
digitaler Schaltungen unter Verwendung der Sprache superKARL;
Diplomarbeit,
University of Kaiserslautern 1988
- Finkler D.*: PICT
Generator
for the MLED System; Projektarb., Univ.Kaiserslautern 1988
- Joerg K.: PTI -
Implementation
of a Procedural Tool Interface f.the MLED System; Diplomarbeit,
University
of Kaiserslautern 1988
- N. N.: SuperKARL
Language User
Manual; University of Kaiserslautern, 1988
- Bonomo, A.,
Italiano,
M., Lavagno,
L, Maggiulli, M. L., Melgara, M., Paolini, M., Stamelos, I.: BACH
(Behavioural-Level
Automated Compilation of Hardware): An Integrated ASIC Synthesis
System;
ESPRIT Technical Week, Brussels, Belgium 1988
- R. Hartenstein, K.
Lemmert:
SYS3: A CHDL-based Systolic Synthesis System; s.[176]
- K. Lemmert: SYS3
Systolic Synthesis
System around KARL, Ph. D. dissertation, University of
Kaiserslautern,
1989
- A. Wodtko: On The
Automatic
Generation Of Test Patterns From Mixed-Level Hardware Descriptions, Ph.
D. dissertation, University of Kaiserslautern, 1989
- J. Darringer, F. J.
Rammig:
Computer Hardware Description Languages and their Applications; North
Holland,
Amsterdam, 1990
- R. Hauck: On Generic
Hardware
Descriptions; Dissertation, University of Kaiserslautern, 1992
- R. Hartenstein: The
History
of KARL and ABL; s.[179]
- J. Mermet:
Fundamentals
and
Standards in Hardware Description Languages; ISBN 0-7923-2513-4, Kluwer
Academic Publishers, September 1993.
|
