Title :
μCRL: A Computer Science based approach for specification and verification of hardware circuits
Author_Institution :
Dept. of Comput. Sci., Univ. Coll. Cork, Cork
Abstract :
muCRL is a process algebraic language for the formal specification and analysis of the behaviour of distributed systems. The toolset of muCRL is the result of software engineering research with a very strong foundation in formal theories/methods, which supports the analysis and manipulation of muCRL specifications. This paper investigates a Computer Science based approach for specification and verification of hardware circuits using muCRL and its toolset. Two standard benchmark circuits are described in muCRL and analysed by the muCRL toolset together with the software tools CADP and SPIN, which are well-equipped with the muCRL toolset.
Keywords :
formal languages; formal specification; formal verification; logic CAD; process algebra; computer science based approach; formal specification; hardware circuits; muCRL; process algebraic language; Algebra; Circuits; Computer science; Equations; Formal languages; Formal verification; Hardware; Mathematical model; Power system modeling; State-space methods;
Conference_Titel :
SoC Design Conference, 2008. ISOCC '08. International
Conference_Location :
Busan
Print_ISBN :
978-1-4244-2598-3
Electronic_ISBN :
978-1-4244-2599-0
DOI :
10.1109/SOCDC.2008.4815653
