home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / verilog / 314 < prev    next >
Encoding:
Internet Message Format  |  1992-08-14  |  4.3 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!uka!i80s19!kropf
  2. From: kropf@i80s19.ira.uka.de (Thomas Kropf)
  3. Newsgroups: comp.lang.verilog
  4. Subject: CFP GI/ITG-Workshop (German)
  5. Date: 14 Aug 1992 07:11:02 GMT
  6. Organization: University of Karlsruhe, FRG
  7. Lines: 112
  8. Distribution: de
  9. Message-ID: <16fma6INNq7s@iraul1.ira.uka.de>
  10. NNTP-Posting-Host: i80s19.ira.uka.de
  11. Keywords: call for papers
  12.  
  13.                       CALL FOR PAPERS
  14.                       ===============
  15.  
  16.                       GI/ITG-Workshop (*) 
  17.  
  18.        "FORMALE METHODEN ZUM ENTWURF KORREKTER SYSTEME"
  19.  
  20.                      21.-23. Maerz 1993
  21.           Treff Hotel, Bad Herrenalb, Schwarzwald
  22.  
  23. ___________________________________________________________
  24.  
  25. Veranstalter:    GI/ITG  Fachgruppe  "Methoden des Entwurfs
  26.                  und der Verifikation digitaler Schaltungen 
  27.                  und Systeme"
  28. ___________________________________________________________
  29.  
  30. Herkoemmliche Methoden  wie Simulation  reichen zur Sicher-
  31. stellung der Entwurfsfehlerfreiheit komplexer Systeme nicht 
  32. mehr aus. Deshalb haben  in letzter  Zeit formale Techniken 
  33. zum Entwurf korrekter Schaltungen und  Systemen zunehmendes 
  34. Interesse gefunden.  Ziel dieses Workshops ist es, Forscher 
  35. und Anwender aus Universitaet und Industrie zusammenzufueh-
  36. ren, die an der Anwendung formaler Methoden fuer den Schal-
  37. tungsentwurf  interessiert sind.  In Vortraegen und Diskus-
  38. sionen sollen neueste Ergebnisse ausgetauscht und Werkzeuge 
  39. vorgestellt werden. Anwendungsbezogene Beitraege sind hier-
  40. bei ebenso willkommen wie theoretische Grundlagen. 
  41. ___________________________________________________________
  42.  
  43. THEMENSCHWERPUNKTE
  44.  
  45. o Spezifikation
  46.   Systemspezifikation, Hardware-Beschreibungssprachen, 
  47.   Schnittstellenspezifikation
  48.  
  49. o Modellierung
  50.   Verhaltensmodellierung asynchroner Systeme,
  51.   "trace theory", Nebenlaeufigkeit
  52.  
  53. o Synthese
  54.   interaktive formale Synthese, transformationale Synthese, 
  55.   High-Level-Synthese
  56.  
  57. o Zeitverifikation
  58.   Bestimmung kritischer Pfade ("false path" Problematik), 
  59.   Hazarderkennung, asynchrone Verifikation
  60.  
  61. o funktionale Verifikation
  62.   Einsatz von Theorembeweisern (HOL, OTTER, ...),
  63.   Temporale Logik, Rueckuebersetzung
  64.  
  65. o endliche Automaten 
  66.   symbolische Automatentraversierung,
  67.   binaere Entscheidungsdiagramme (BDDs)
  68.  
  69. o Validierungsmethoden
  70.   Simulationsplanung, 
  71.   probabilistische Verfahren zur Korrektheitsueberpruefung
  72.  
  73. o praktische Erfahrungsberichte
  74.   Einsatz formaler Methoden und Werkzeuge in der Industrie
  75. ___________________________________________________________
  76.  
  77. Interessenten sind  herzlich  eingeladen,  3  Kopien eines 
  78. Kurzmanuskripts (ca. 1000 Worte)  in Deutsch oder Englisch 
  79. bis zum  30.  November  1992 (+)  an den  Tagungsleiter zu 
  80. senden. 
  81.  
  82. Die Benachrichtigung der Autoren ueber Annahme oder Ableh-
  83. nung  erfolgt  bis zum  31. Januar 1993.  Die angenommenen 
  84. Beitraege werden  an die Workshop-Teilnehmer verteilt.  Es 
  85. ist geplant,  waehrend des Workshops  die besten Beitraege 
  86. auszuwaehlen,  die dann  in Form eines ausfuehrlichen Bei-
  87. trages in einem Konferenzband veroeffentlicht werden.
  88.  
  89. Um eine ergiebige Diskussion der Vortraege  sowie Kontakte 
  90. und informelle Gespraeche  unter den Anwesenden zu ermoeg-
  91. lichen,  ist  die Zahl der  Teilnehmer auf 80 Personen be-
  92. grenzt.
  93. ___________________________________________________________
  94.  
  95. TAGUNGSLEITER
  96.  
  97. Prof. Dr.-Ing. D. Schmid
  98. Universitaet Karlsruhe,   Institut fuer Rechnerentwurf und
  99. Fehlertoleranz, Postfach 6980, W-7500 Karlsruhe
  100. Tel. (0721) 608 3960,  FAX (0721) 370 455
  101. ___________________________________________________________
  102.  
  103. PROGRAMMKOMITEE (+)
  104.  
  105. H. Eveking Uni Frankfurt       P. Marwedel Uni Dortmund
  106. T. Filkorn SIEMENS Muenchen    F.J. Rammig Uni-GH Paderborn
  107. W. Grass   Uni Passau          D. Schmid   Uni Karlsruhe
  108. T. Kropf   Uni Karlsruhe       B. Straube  EAS Dresden
  109. R. Kumar   Uni Karlsruhe       E. Tid'en   SIEMENS Muenchen
  110. H.M. Lipp  Uni Karlsruhe
  111. ___________________________________________________________
  112.  
  113. WEITERE INFORMATIONEN BEI:
  114.  
  115. Thomas Kropf
  116. Universitaet Karlsruhe,   Institut fuer Rechnerentwurf und
  117. Fehlertoleranz, Postfach 6980, W-7500 Karlsruhe
  118. Tel. (0721) 608 4220, FAX (0721) 370 455
  119. email: kropf@ira.uka.de
  120. ___________________________________________________________
  121.  
  122. (*) Genehmigung durch die GI/ITG steht noch aus.
  123. (+) Aenderungen noch moeglich
  124.  
  125.