Summary
formal verification, Boolean Satisfiability, microprocessor design, solving of constraint satisfaction problems
Description
Description
Electronic Design Automation, formal verification, design of microprocessors, Boolean Satisfiability
Profile
-
Incorporated in
-
Established since2005
-
Main/BranchBranch
Address
-
State
-
County
-
City
-
Address2705 W BYRON ST
-
ZIP Code60618-3745
Contact
-
Phone
-
Email
-
Website
-
Contact PersonMiroslav Velev