μCRL: A Computer Science based approach for specification and verification of hardware circuits

Author

Man, K.L.

Author_Institution

Dept. of Comput. Sci., Univ. Coll. Cork, Cork

Volume

01

fYear

2008

fDate

24-25 Nov. 2008

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SOCDC.2008.4815653

Filename

4815653