Back to Results
First PageMeta Content
Mathematical logic / Algebraic logic / Circuit / Boolean function / Model checking / FO / Topology / Boolean algebras canonically defined / Boolean circuit / Theoretical computer science / Mathematics / Boolean algebra


Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University
Add to Reading List

Document Date: 2004-11-16 11:31:41

Open Document

File Size: 171,62 KB

Share Result on Facebook

IndustryTerm

decision algorithm / simulation algorithm / synchronous digital systems / specified systems / symbolic model checking algorithms / /

Organization

Carnegie Mellon University / Defense Advanced Research Projects Agency / National Science Foundation / ARPA Order Number / /

Person

Carl-Johan Seger Carnegie / Let / Pnueli / E. Bryant Carl-Johan Seger / Randal E. Bryant Carl-Johan / /

Position

Fisher / /

Technology

simulation algorithm / RAM / BCMD algorithms / symbolic model checking algorithms / BF algorithm / modeling algorithm / random access / simulation / decision algorithm / BCMD algorithm / /

SocialTag