go to Xputer pages

homepage | impressum | survey | 

KARL-related Literature

TU Kaiserslautern

 Karlsruhe Institute of Technology (KIT) homepageInstitut für Technik der Informationsverarbeitung (ITIV) des Karlsruher Institut für Technologie (KIT)

 

For a survey on KARL-related pages click here

 

(Literature on KARL, ABL, CVS_BK and its Applications, published by the Kaiserslautern Xputer lab)

last update: 1993

 

The work reported here has been partly funded by the Commission of the European Communities.

 

  1. R. Hartenstein: Fundamentals of Structured Hardware Design: A Design Language Approach at RegisterTransferLevel; North Holland; Amsterdam/New York, 1977.

  2. 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

  3. 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

  4. R.Hartenstein, P.Liell, E.Schaaf: The Grammar of KARL 2; int. Bericht, Kaiserslautern, 1981

  5. R. Hartenstein, P. Liell, E. Schaaf, B. Weber: KARL user manual and introduction; rep., Berkeley / Kaiserslautern, 1981

  6. E. Schaaf: PASCAL-Implementierung eines KARLcompiler;Diplomarb.;Kaiserslautern 1981

  7. B. Weber: PASCAL-Implementierung eines Simulators auf KARL-2 Basis; Diplomarbeit; Kaiserslautern,1981

  8. M. Breuer, R. Hartenstein: Computer Hardware Description Languages and their Applications; North Holland, Amsterdam/New York, 1981

  9. R.Hartenstein: KARL-II eine Sprache zur Spezifikation beim Entwurf kundenspezifischer Digitalbausteine; Angewandte Informatik; 12/1982

  10. R. Hartenstein, P. Liell: Specification of the KARL-III language; Univ.Kaiserslautern, 1983

  11. N. N.: KARL-II Instant; technical report, Universität Kaiserslautern, 1983

  12. R. Hartenstein, P. Liell: KARL-II Language Reference Manual, rep, Un.Kaiserslautern 1983

  13. R. Hartentstein, A. Mavridis: RTCode Instant; CVT report, Universität Kaiserslautern, 1983

  14. R. Hartenstein: Specification of the KARL-III language; CVT rep.; Univ.Kaiserslautern, 1983

  15. P. Liell: Test Pattern Generation for Data Paths using Iterative Arrays of Cells; Ph.D. Dissertation; Universität Kaiserslautern, 1983

  16. A. Sassenhoff: Kern eines interaktiv graphischen Silicon-Compilers für den LSI / VLSI- Entwurf auf Register-Transfer-Ebene, Ph.D. dissertation, Universität Kaiserslautern, 1983

  17. H. Mirkes: Simulation of Petri nets using the KARL Language; rep., Univ. Kaiserslautern, 1983

  18. H. Borrmann: The super KARL filter program; Universität Kaiserslautern, 1983

  19. R. Hartenstein: KARL-II application notes; CVT- report; Universität Kaiserslautern, 1983

  20. G.Girardi, R.Hartenstein: ABL-Specification -Draft; CVT-rep., Torino/Kaiserslautern, 1983

  21. K. Lemmert: KARL-III grammar - prelimary version; Universität Kaiserslautern, Jan. 1984

  22. R. Hartenstein, K. Lemmert: KARL-III reference manual; CVT report, Un. Kaiserslautern 1984

  23. A. Wodtko: Semantics Processing within the KARL-III compiler; Diploma-Thesis; Universität Kaiserslautern, 1984

  24. K. Lemmert: A LARL(1) Parser of the RT Language KARL-III; Diplarb; Kaiserslautern, 1984

  25. B.Borrmann, R.Hartenstein: Die Übertragung von superKarl-Konstrukten in die Hardware-Beschreibungssprache KARL; report, Universität Kaiserslautern, Mai 1984

  26. N. N.: KARL-III Instant ; CVT report, Universität Kaiserslautern, June 1984

  27. B. Borrmann, R.Hartenstein: Super KARL-III Specification; CVT report, Un. Kaiserslautern 1984

  28. U. Welters: ABL2KARL translator:Algorithm description;CVTreport,Uni.Kaiserslautern 1984

  29. N. N.: KARL-II Hardware Description and Simulation Sessions: a collection of examples; report, Kaiserslautern,1984

  30. R. Hartenstein, K. Lemmert: Entwurfs-Konzeption und Spezifikation von Digital-Hardware, gelenkt durch eine Entwurfs-Sprache; Proc. 11. Mikroelektronik-Kongreß, München 1984

  31. R. Hartenstein,K.Lemmert: A Design Language for the "Long Thin Man": Proposal of a Methodology for Problem Capture and Conceptual Design; CVT report, Univ. Kaiserslautern, 1985

  32. R. Hartenstein, A. Wodtko: Automatic Generation of Functional Test Patterns from RT Language Source; Int. Bericht; Kaiserslautern, 1985

  33. G. Girardi, R. Hartenstein, U. Welters: ABLED - a RT Level Schematic Editor and Simulator User Interface; CVT rep, Kaiserslautern, 1985

  34. H. Borrmann: hyperKARL-III Language Reference Manual; CVT-report; Un. Kaiserslautern, 1985

  35. H. Borrmann: Die Entwicklung eines Preprozessors für die Register-Transfersprache KARL-III; Diplomarbeit (2 Bde); Un. Kaiserslautern, 1985

  36. K. Lemmert: Data Path Descriptions; internal report, Universität Kaiserslautern, 1985

  37. U. Welters: Graphic Hardware Description Languages; rep., Univ. Kaiserslautern, 1985

  38. A. Mavridis: Languages for Simulator Activation and Test Description; internal report, Kaiserslautern Univ. Kaiserslautern, 1985

  39. R. Hartenstein,A Wodtko: Automatic generation of Functional Test Patterns from RT language source; Int'l EUROMICRO Symposium; Brussels, Belgium, 1985

  40. G.Girardi, R. Hartenstein, U. Welters: ABLED: a RT level Schematic Editor and Simulator user Interface; Int`l EUROMICRO Symposium; Brussels, Belgium, 1985

  41. N. N.: KARL-III Primer (draft), CVT report, Universität Kaiserslautern, April 1985

  42. R. Hartenstein et al.: KARL language update, CVT report, Universität Kaiserslautern, 1985

  43. R. Hauck: KARL-3 on VAX under VMS/User Guide; CVT report, Univ. Kaiserslautern, 1985

  44. N. N.: KARL-3 and SCIL condensed grammars for quick reference; Univ. Kaiserslautern 1985

  45. A. Mavridis: SCIL-3 Grammar (Draft), CVT report, Universität Kaiserslautern, July 1985

  46. K. Lemmert: KARL-3 grammar - version July 1985; CVT report, Univ. Kaiserslautern, 1985

  47. A. Mavridis: RTcode Instant - version July 1985; CVT report, Univ. Kaiserslautern, 1985

  48. R. Hartenstein, K. Lemmert: The Hardware Description Language KARL-III: its Integration into a CAD Tool Box; report, Un. Kaiserslautern 1985

  49. G. Alfs, R. Hartenstein, A. Wodtko: C-Testable Cells for ATPG from RT Descriptions; report; Universität Kaiserslautern 1985

  50. R. Hartenstein, A. Wodtko: Functional Test Generation within the KARL-III System; report, Universität Kaiserslautern 1985

  51. R. Hartenstein, W. Nebel: EDIF-based Notation for Layout/Circuit Relations: toward Technnology-Independance of CAD Tools; report; Universität Kaiserslautern 1985

  52. E. von Puttkamer: Das SIC-System als Kern eines Silicon-Compilers, report SFB-124 nr. 18/85, Universität Kaiserslautern, 1985

  53. Th. Knieriemen: Ein Programm-Generator für die Register-Transfer-Sprache KARL- III als Software-Baustein für ein CAD-System, Dipl.-Thesis, Universität Kaiserslautern 1985

  54. D. Hartert, Th. Knieriemen: IGSIC ein interaktiv graphische Silicon-Compiler; Kurzbericht, report 151/185, Fachbereich Informatik, Universität Kaiserslautern, 1985

  55. R. Hartenstein, R. Hauck, A. Hirschbiel: A KARL simulator Physical Model Extension; report, Universität Kaiserslautern, 1986

  56. K. Lemmert: Test-freundlicher und strukturierter Architektur-Entwurf bei VLSI-Bausteinen: Benutzer-Führung durch ein CAD-System; EIS-workshop, Bonn, 1986

  57. K. Lemmert, W. Nebel: Conceptual Design based on on HDL use; internal report, Kaiserslautern University, Kaiserslautern, 1986

  58. R. Hartenstein, R. Hauck: Design of Symbolic Layout using RT Level CAD Tools; report, Universität Kaiserslautern 1986

  59. R. Hartenstein, W. Nebel: REX: a new CAD Tool shifts Functional Circuit Verification towards RT level; report, Un. Kaiserslautern, 1986

  60. R.Hartenstein, R.Hauck: Entwurf von Symbolischem Layout m. Werkzeugen der Register- Transfer-Ebene; 2. E.I.S.-Workshop, Bonn 1986

  61. R. Hartenstein, R. Hauck: Die Ableitung von Verhaltens-Beschreibungen aus Matrixorientiertem Layout; rep, Univ.Kaiserslautern, 1986

  62. R. Hartenstein, R. Hauck: A simple Silicon Synthesizer for MOL circuits; report, Universität Kaiserslautern, 1986

  63. R. Hartenstein, R. Hauck: Recursive Cell Declarations in a RT Language; report, Universität Kaiserslautern, 1986

  64. K. Lemmert: Steps toward KARL Use as a Design Calculus; ABAKUS workshop; Passau 1986

  65. G. Girardi, U. Welters: A Graphic RT-level Editor based on the KARL Compiler Interface; ABAKUS workshop; Passau, Germany, 1986

  66. R. Hauck: A General Method for KARL Extraction from Matrix-oriented Layout; ABAKUS workshop; Passau, Germany, 1986

  67. R. Hauck: A simple KARL-based Editor for Synthesis and Optimization of MOL (Matrix-oriented Layout); ABAKUS workshop; Passau, Germany, 1986

  68. G. Alfs, A. Wodtko: KARL Modelling of C Tests for Data Paths; ABAKUS; Passau, 1986

  69. R. Hartenstein Proposal of a High Level Hardware Description Language; ESPRIT / CVS report, Universität Kaiserslautern, Sept. 1986

  70. W. Nebel: KARL Extraction from Layout; ABAKUS workshop; Passau, Germany, 1986

  71. R. Hauck, A. Hirschbiel: A Physical Model Extension for KARL Simulators; ABAKUS workshop; Passau, 1986

  72. N. N.: KARL-related software catalogue; Univ. Kaiserslautern, 1986

  73. R. Hartenstein, K. Lemmert: KARL-III Language Reference Manual, ed. March 1986; Universität Kaiserslautern,

  74. R. Hauck: KARL-III System V 3.6 Release Notes, CVT report, Univ. Kaiserslautern 1986

  75. U. Welters: ABLED User Manual; report, Universität Kaiserslautern 1986

  76. D. Hartert, Th. Knieriemen, E. von Puttkamer: Das IGSIC-System als CAD-Werkzeug zum Entwurf integrierter Schaltungen, Bericht, Universität Kaiserslautern, 1986

  77. H. Klösel: Implementation of the MLED editor and its application at physical layout level; Diploma thesis; Fachber. Informatik; Universität Kaiserslautern; 1986

  78. U. Welters: Specification of the MLED multi-level editor; report, Univ. Kaiserslautern; 1986

  79. U. Welters: Implementation of an ABL-to-EDIF / EDIF-to-ABL converter; Bericht; Fachbereich Informatik, Univ. Kaiserslautern, 1986

  80. J. Eiden: Implementation of the MLED editor and its application at symbolic layout level; Diploma thesis; Fachbereich für Informatik; Universität Kaiserslautern; 1986

  81. R. Hartenstein: A very high level hardware description language, translatable into KARL - Draft; ESPRIT-CVS report, Un. Kaiserslautern, 1986

  82. 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

  83. 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

  84. R. Hauck, R. Hartenstein: The draft grammar of superKARL-III; internal report, Universität Kaiserslautern, 1986

  85. J. Gebhard, R. Hartenstein, R. Hauck, D. Oelke The superKARL-III Language Specification; internal report, Univ. Kaiserslautern, 1986

  86. R. Hartenstein, A. Mavridis: RT - CODE Instant for KARL-III (new edition) , report, Fachbereich Informatik, Univ. Kaiserslautern 1986

  87. R. Hartenstein, R. Hauck: The KARL System User Guide; CVT report, Kaiserslautern University, Kaiserslautern, Germany, 1986

  88. R. Hartenstein, K. Lemmert: A CAD Tool Box around a Hardware Descdription Language; EUROMICRO Symp. Venice, 1986, North Holland 1986

  89. N. N. KARL Manual; Kaiserslautern, 1986

  90. N. N.: ABAKUS workshop Passau, Germany, June 17 - 20, 1986 - Collection of Viewgraphs; Passau / Kaiserslautern, August 1986

  91. G. Girardi, R. Hartenstein: ABLED - ein CAD-Werkzeug f. den Entwurf von Digitalsystemen; DECUS München Symposium, Stuttgart 1986

  92. R. Hartenstein, U. Welters: Higher Level Simulation and CHDLs; Proc. IFIP Summer School on VLSI Design; Beatenberg, Switzerld, 1986

  93. W. Nebel: REX - Automatic Extraction of RT-Level Descriptions from Integrated Circuit Layout Data; Dissertation, FB Informatik, Univ. Kaiserslautern, 1986

  94. Oelke, D.: VLSI-Entwrf d.Funktionsdekoders des PISA-Adreßgenerators; Projektarbeit, Universität Kaiserslautern 1986

  95. Gebhard,J.: VLSI-Entwurf der Slice des PISA-Adreßgenerators; Projektarbeit, Un. Kaiserslautern 1986

  96. Ast, A.: KARL-3-Beschreibung eines Prozessors zur Vorverarbeitung von Bildsignalen; Projektarbeit, Universität Kaiserslautern 1986

  97. 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

  98. A. Wodtko: RT Languages in Goal-oriented CAD Algorithms; in (R. Hartenstein, ed.): Hardware Description Languages; Elsevier 1987

  99. K. Lemmert: Data Path Descriptions; in (R. Hartenstein, ed.): Hardware Description Languages; Elsevier , 1987

  100. U. Welters: Graphic Hardware Description Languages; in (R. Hartentein, ed.): Hardware Description Languages; Elsevier, 1987

  101. K. Lemmert, W. Nebel: Conceptual Design based on on HDL use; (R. Hartenstein, ed.): Hardware Description Languages; Elsevier Scientific, Amsterdam/New York, 1987

  102. A. Mavridis: Languages for Simulator Activation and Test Description; in (R. Hartenstein, ed.): Hardware Description Languages; Elsevier, 1987

  103. R. W. Hartenstein: Simulation von VLSI-Schaltungen; CAD-CAM REPORT, Febr. 1987

  104. R. Hartenstein, W. Nebel: Shifting Functional Design Verification Towards RT Level by Automatic Register Transfer Net Extraction; IFIP CHDL'87, Amsterdam, 1987

  105. R. Hartenstein, R. Hauck: Functional Extraction from Personality Matrixes of MOL (Matrix-Oriented Logic) Circuits; IFIP CHDL'87, Amsterdam, 1987

  106. R. Hartenstein, W. Nebel: Functional Design Verification by Register Transfer Net Extraction from Integrated Circuit Layout Data; Proc. IEEE COMP EURO, Hamburg, 1987

  107. J. Tretter: Realisierung geometrischer Entwurfs-Beschreibungen in der RT-Ebene durch Cluster-Bildung; Dissertation, Un. Kaiserslautern, 1986

  108. H. Salzmann: Implementierung eines Techno-logie-unabhängigen Schaltkreis-Extraktors für hierarchische Raster-orientierte Layouts; Dipl.-Arbeit; Univ. Kaiserslautern, 1987

  109. A. Wodtko: Funktionale Testerzeugung aus KARL-Beschreibungen; E.I.S.-Worksh. Bonn 1986

  110. R. Hartenstein: Computer Structure Partitioning Schemes; ESPRIT report, Un. Kaiserslautern 1987

  111. B. Hollunder: Entwurf, Beschreibung und Verifikation eines Taschenrechners in der Sprache KARL-III; Projektarbeit, FB Informatik, Universität Kaiserslautern, Jan. 1987

  112. K. W. Jörg: AMET - ABLED / MLED-to-EDIF Translator; Projektarbeit, FB Informatik, Universität Kaiserslautern, Jan. 1987

  113. R. Hartenstein, R. Hauck: A Behavioural / Non-procedural Mixed-Level Simulator for Digital VLSI Systems; ESPRIT / CVS report, CS Dept., Universität Kaiserslautern, Febr. 1987

  114. R. Hartenstein, R. Hauck: Simulator Specification for CVS_BK; report, Universität Kaiserslautern, Febr. 1987

  115. R.Hartenstein, U.Welters: MLED: A Multiple Abstraction Level Graphical Editor; EUROMICRO'87; Portsmouth; UK, Sept. 1987

  116. R. Hartenstein, U. Welters: Mehrebenen-Graphik-Editor als DBMS für Simulations-Umgebungen; ASIM '87 - 4. Symposium Simulationstechnik; Zürich, Schweiz, Sept. 1987

  117. R. Heinen: Portation des KARL-III-Systems auf den Atari 1040 ST; Projektarbeit; Fachber. Informatik, Universität Kaiserslautern, 1987

  118. J. Altmeyer: Portation des KARL-III-Systemes auf den IBM PC AT; Projektarbeit; Fachbereich Informatik, Universität Kaiserslutern; 1987

  119. G. Fischer: Testmustergenerierung für KARL-Primitive mit Hilfe des Testmuster-Generie-rungsprogrammes DALGO; Projektarbeit, Universität Kaiserslautern, 1987

  120. R. Haack: Implementierung eines Programm-systems für die Eingabe und Hierarchiesteuerung eines RT-Extraktors; Diplomarbeit, Universität Kaiserslautern, 1987

  121. U. Frank: Implementierung eines Programmes zur Wandlung von EDIF-RT-Netzen in eine KARL-3-Beschreibung; Diplomarbeit, Universität Kaiserslautern, 1987

  122. M. Duhl: Die schritttwiese Entwicklung und Beschreibung einer Shuffle-Sort-Array- Schaltung in hyperKARL aus der algorithmischen Darstellung des Bubble-Sort-Algorithmus; Projektarb., Informatik, Univ.Kaiserslautern, 1988

  123. R. Heinen: Benutzungsanleitung für KARL-3 auf ATARI - ST; Bericht , Fachbereich Informatik, Universität Kaiserslautern, 1987

  124. R. Hartenstein, R. Hauck, K. Lemmert, A. Wodtko: KARL-4 and SCIL-3 Grammar (Draft); ESPRIT / CVS report, Dept. of Computer Science, Kaiserslautern University, 1987

  125. K. Bastian: Entwurf und Implementierung eines inkrementellen Compilers für SCIL-3 Diplomarbeit, Fb. Informatik, Un. Kaiserslautern, 1987

  126. A. Schwarz: Implementierung von Standardfunktionen und Prozeduren für SCIL-3; Diplomarbeit, Fb Informatik, Un. Kaiserslautern, 1987

  127. A. Mavridis: SCIL-III - A Simulator and Tester Activation Language for VLSI Circuits; Dissertation, Fb Informatik, Un. Kaiserslautern, 1987

  128. J. Gebhard: Sprachdefinition und Implementierung von matrixorientierter Logik in superKARL; Diplomarbeit, Fachbereich Informatik, Uni. Kaiserslautern, 1987

  129. D. Oelke: Implementierung der Sprache superKARL; Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, 1987

  130. R. Hartenstein: Computer Structure Partioning Schemes; ESPRIT / CVS report, Dept of Computer Science, Kaiserslautern University, 1987

  131. 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 Schloß Birlinghoven, Oct. 1987

  132. A. Pawlak: Lecture Notes on Hardware Description Languages - Lecture Notes; Arbeitspapiere der GMD, No. 255, GMD Schloß Birlinghoven, July 1987

  133. 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

  134. J. Blödel, R. Hartenstein, W. Nebel, M. Ryba: A Technology Description Method; Proc. EUROMICRO Symp., Portsmouth, UK, Sept, 1987; North Holland, Amsterdam, 1987

  135. K. Haimann: Entwurf und Simulation mikroprogrammierter Rechner mit der Hardware- Beschreibungssprache KARL-3; Diplomarbeit, Institut für Informatik, Univ. Stuttgart, 1987

  136. Alfs, G.: Design and Implementation of a Heuristic Sea4ch Algorithm for the KARATE System; Diplomarbeit, Univ. Kaiserslautern, 1987

  137. Blödel, J.: PAGE - ein ELL(1)-basierter EDIF-Parser-Generator - Analyse-Teil; Doplomar-beit, Universität Kaiserslautern, 1987

  138. Brosowski, J.: Window Management für das MLED-Graphiksystem, Dimplomarb., Universität Kaiserslautern, 1987

  139. R. Hartenstein: Classification of Hardware Description Languages; in [140]

  140. R. Hartenstein (Hrsg.): Hardware Description Languages; Band 7 von [141]

  141. T. Ohtsuki (Series Editor): Advances in CAD for VLSI; North Holland Publishing Co. New York, Amsterdam, Oxford, Tokyo, 1987

  142. R. Hartenstein, U. Welters: Higher Level Simulation and CHSLs; in [143]

  143. W. Fichtner, M. Morf: VLSI CAD Tools and Applications; Kluwer, Boston, 1987

  144. Gimber, J.: Implementierung eines Logik-Diagramm-Generators; Diplomarbeit, Un. Kaiserslautern, 1987

  145. Rauscher, R. Westendorf, J.: A System for Verification of Interactive Microprogram Transformations; EUROMICRO 1987, Portsmouth, UK, in: Microprocessing and Microprogramming, North Holland, Amsterdam, 1987

  146. Riedmüller, M.: Implementierung eines Programmes zur Extraktion von RT-Netzen aus EDIF-Schaltkreisbeschreibungen, Diplomar-beit, Universität Kaiserslautern, 1987

  147. S. Pitiakudis: Entwurf und Implementierung von Algorithmen für die Analyse und Optimierung von RT-Graphen und zur Fehlerlokalisierung; Diplomarbeit, Univ. Kaiserslautern, 1987

  148. M. Duhl: Beschreibung und Simulation ausgewählter Schaltungsbeispiele in der Sprache superKARL; Diplomarbeit, Informatik, Universität Kaiserslautern, 1988

  149. J. Blödel, R. Hartenstein, W. Nabel, M. Ryba: EDIF Notation for Layout / Circuit Relations; in (ed. F. Rammig): Tool Integration and Design Environments; North Holland, 1988

  150. 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

  151. 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

  152. Alfs, G., Hartenstein, R., Riedmüller, 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

  153. 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

  154. Alfs, G., Hartenstein, R., Wodtko, A.: Integration der Testentwicklung in den Entwurf von Vollkundenschaltungen; Tagungsband zur ITG-Fachtagung "Mikroelek- tronik für die Informationstechnik", 3. - 5. Oktober 1988, Berlin, Germany. VDE-Verlag, Düsseldorf, 1988

  155. Jansen, K.: Transformations of RT-descriptions guided by features of logic implementations to be verified; Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988

  156. Hartenstein, R., Lemmert, K.: A systolic design system using KARL; Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988

  157. Hartenstein, R., Jörg, K., Welters, U.: A multiple abstraction level editor for VLSI design; Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988

  158. Hartenstein, R., Hauck, R., Lemmert, K.: Some new features in KARL-4 and superKARL - a survey ; Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988

  159. Hauck, R.: KARL-4 - A hardware description language for the design and synthesis of digital hardware; Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988

  160. Alfs, G., Hartenstein, R., Riedmüller, M.: SCIL-III - A language for simulator and tester activation; Proc. 2nd ABAKUS workshop, Innsbruck, Austria, Sept. 1988

  161. 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

  162. Mayer, Th.: RANGECOUNTER - eine Vol-lkundenschaltung für die MoM; Projektarbeit, Universität Kaiserslautern 1988

  163. Benzschawal, S.: RTCLIB, Eine Bibliotheksverwaltung für RTcode; Projektarbeit, Universität Kaiserslautern 1988

  164. Schmidt, K.: NMOS Implementation of PATIL Arrays; Projektarb., Univ. Kaiserslautern 1988

  165. Müller, R.: MULTISHIFT - eine Vollkundenschaltung für die MoM: Layout und Simulation; Projektarbeit, Universität Kaiserslautern 1988

  166. Nicklaus, H.: MULTISHIFT - eine Vollkundenschaltung für die MoM: Spezifikation und Problemanalyse; Projektarbeit, Un. Kaiserslautern 1988

  167. Ast, A.: NMOS LSI Entwurf eines Bildverarbeitungsprozessors für Videosignale; Projektarbeit, Universität Kaiserslautern 1988

  168. Duhl, M.: Parametrischer Entwurf digitaler Schaltungen unter Verwendung der Sprache superKARL; Diplomarbeit, Kaiserslautern 1988

  169. Finkler D.: PICT-Generator für das MLED-System; Projektarb., Univ.Kaiserslautern 1988

  170. Jörg K.: PTI - Implementation of a Procedural Tool Interface f.the MLED System; Diplomarbeit, Universität Kaiserslautern 1988

  171. N. N.: SuperKARL Language User Manual; Univ, Kaiserslautern, 1988

  172. 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

  173. R. Hartenstein, K. Lemmert: SYS3: A CHDL-based Systolic Synthesis System; s.[174]

  174. K. Lemmert: SYS3 Systolic Synthesis System around KARL,  Ph. D. dissertation, Universitaet Kaiserslautern, 1989

  175. A. Wodtko: On The Automatic Generation Of Test Patterns From Mixed-Level Hardware Descriptions, Ph. D. dissertation, Universitaet Kaiserslautern, 1989

  176. J. Darringer, F. J. Rammig: Computer Hardware Description Languages and their Applications; North Holland, Amsterdam, 1990

  177. R. Hauck: On Generic Hardware Descriptions; Dissertation, Univ. Kaiserslautern, 1992

  178. R. Hartenstein: The History of KARL and ABL; s.[177]

  179. J. Mermet: Fundamentals and Standards in Hardware Description Languages; ISBN 0-7923-2513-4, Kluwer Academic Publishers, September 1993.


 

For a survey on KARL-related pages click here

 

Computer Structures GroupUniversity of KaiserslauternDepartment of Computer ScienceCopyrightContact the WebmasterThe Xputer CD

© Copyright 1996, 2001, University of Kaiserslautern, Kaiserslautern, Germany