Open AccessEquivalence Checking of Digital Circuits
Author(s) -
Paul Molitor,
Janett Mohnke,
Bernd Becker,
Christoph Scholl
Publication year - 2004
Publication title -
kluwer academic publishers ebooks
Language(s) - English
Resource type - Book series
DOI - 10.1007/b105298
Subject(s) - formal equivalence checking , computer science , equivalence (formal languages) , process (computing) , digital electronics , electronic circuit , arithmetic , programming language , model checking , mathematics , electrical engineering , engineering , discrete mathematics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom