DocumentCode :
277881
Title :
IEE Colloquium on `Formal and Semi-Formal Methods for Digital Systems Design´ (Digest No.014)
fYear :
1991
fDate :
33259
Abstract :
The following topics were dealt with: a theorem prover for transformational synthesis; Ada´s rendezvous representation by Petri nets; temporal logic applied to digital systems design; Circal process algebra in digital system design; and multiple objective optimisation in behavioural synthesis
Keywords :
VLSI; formal logic; logic design; Circal process algebra; Petri nets; behavioural synthesis; digital systems design; multiple objective optimisation; temporal logic; theorem prover; transformational synthesis;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Formal and Semi-Formal Methods for Digital Systems Design, IEE Colloquium on
Conference_Location :
London
Type :
conf
Filename :
180866
Link To Document :
بازگشت