You are here: Home :: Area NEM :: Computer science

Werner Grass, Thomas Kropf, Matthias Mutz

Formal Methods for the Specification of Hardware

Formally based specification methods play an increasingly important role in hardware design. They are clear without ambiguity and allow the use of formal methods to optimize, synthesize and verify circuits. To use formal approaches in an industrial environment usually semi-formal techniques are used. There, specifications are given graphically or by use of hardware description languages. Using formal semantics these descriptions can be automatically translated into logics or process algebras for a further use of formal methods.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 40, 03/1998
Pages: 13

Journal homepage (external site)

Show all available items of this journal

 

Area NEM