Back to Results
First PageMeta Content
Digital electronics / Formal methods / Logic in computer science / Automata theory / Formal equivalence checking / Combinational logic / Sequential logic / Automatic test pattern generation / NC / Theoretical computer science / Electronic engineering / Applied mathematics


Combinational Techniques for Sequential Equivalence Checking Hamid Savoj1 David Berthelot1 Alan Mishchenko2
Add to Reading List

Document Date: 2010-03-23 04:39:57

Open Document

File Size: 97,31 KB

Share Result on Facebook

Company

ABC / /

Currency

pence / /

/

Event

Product Issues / /

Facility

University of California / /

IndustryTerm

large industrial applications / synthesis software / space search / software program / /

Organization

University of California / Department of EECS / U.S. Securities and Exchange Commission / National Science Foundation / /

Person

J. Baumgartner / V / S. Qadeer / V / /

Position

General / /

Product

machine / machine powers / /

ProvinceOrState

California / /

Technology

http / CEC algorithm / pdf / /

URL

http /

SocialTag