DocumentCode
288058
Title
IEE Colloquium on `Structured Methods for Hardware Systems Design´ (Digest No.1994/110)
fYear
1994
fDate
1994
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;
fLanguage
English
Publisher
iet
Conference_Titel
Structured Methods for Hardware Systems Design, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
369636
Link To Document