From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Xref: utzoo comp.lang.ada:2345 comp.software-eng:1561
Path: utzoo!attcan!uunet!mcvax!kth!sunic!sics.se!sics!bruno
From: bruno@inmic.se (Bruno Poterie)
Newsgroups: comp.lang.ada,comp.software-eng
Subject: case stmt check algorithm/method
Message-ID: <BRUNO.89May22103130@ha7.inmic.se>
Date: 22 May 89 08:31:30 GMT
Sender: news@osiris.sics.se
Distribution: comp
Organization: Swedish Institute of Microelectronics, Kista
List-Id: <comp.lang.ada>

Hello,
as part of a VHDL analyser i have (among others) to write
the range completion checks for the CASE statement. This
is pretty much the same as in ADA, so i do not want to
reinvent the wheel. Could anybody point me to relevant
litterature on the subject, if any? More generaly, papers
or documents on semantic checks methodology (for ADA or
related) would be very helpfull.

Thank you in advance,
Bruno Poterie, IM, Kista, Sverige.   email: bruno@inmic.se