By Topic

Specification and analysis of hardware designs using mCRL2

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
K. L. Man ; Centre for Efficiency-Oriented Languages (CEOL), Department of Computer Science, University College Cork, Ireland ; J. van der Wulp

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.

Published in:

Electrical and Computer Engineering, 2008. CCECE 2008. Canadian Conference on

Date of Conference:

4-7 May 2008