Title :
Specification and analysis of hardware designs using mCRL2
Author :
Man, K.L. ; van der Wulp, J.
Author_Institution :
Dept. of Comput. Sci., Univ. Coll. Cork, Cork
Abstract :
mCRL2 is a process algebraic language for the formal specification and analysis of the behaviour of distributed systems. The toolset of mCRL2 is the result of software engineering research with a very strong foundation in formal theories/methods, which supports the analysis and manipulation of mCRL2 specifications. This paper presents the application of the language mCRL2 and the mCRL2 toolset to specify and analyse a hardware design: a four-tap FIR filter.
Keywords :
FIR filters; formal specification; hardware description languages; logic CAD; process algebra; distributed system behaviour analysis; formal specification; four-tap FIR filter design; hardware design; mCRL2 specification language; mCRL2 toolset; process algebraic language; Algebra; Computer science; Educational institutions; Equations; Formal languages; Formal verification; Hardware; Mathematical model; Power system modeling; State-space methods; μCRL; Process algebras; formal methods; mCRL2; specification and analysis of hardware designs;
Conference_Titel :
Electrical and Computer Engineering, 2008. CCECE 2008. Canadian Conference on
Conference_Location :
Niagara Falls, ON
Print_ISBN :
978-1-4244-1642-4
Electronic_ISBN :
0840-7789
DOI :
10.1109/CCECE.2008.4564526
