Title :
IEE Colloquium on `Formal and Semi-Formal Methods for Digital Systems Design´ (Digest No.014)
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;
Conference_Titel :
Formal and Semi-Formal Methods for Digital Systems Design, IEE Colloquium on
Conference_Location :
London