Title :
IEE Colloquium on `Structured Methods for Hardware Systems Design´ (Digest No.1994/110)
Abstract :
The following topics were dealt with: high level design of electronic systems for mechatronic applications; hardware/software systems design; specification and synthesis in interval temporal logic; system modelling for safety and fault analysis using software tool NP-Circuit; verification of scheduling algorithms; structured processes for complex VLSI design; and formal specification for hardware systems design
Keywords :
electronic engineering computing; formal specification; software tools; temporal logic; complex VLSI design; electronic systems; fault analysis; formal specification; hardware/software systems design; high level design; interval temporal logic; mechatronic applications; scheduling algorithms; software tool NP-Circuit; structured processes; synthesis; system modelling;
Conference_Titel :
Structured Methods for Hardware Systems Design, IEE Colloquium on
Conference_Location :
London
