Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Electronic design automation / Mathematical logic / Programming paradigms / And-inverter graph / Logic programming / Model checking / Boolean satisfiability problem / Theoretical computer science / Mathematics / Applied mathematics


Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1
Add to Reading List

Document Date: 2008-04-28 18:02:46

Open Document

File Size: 146,28 KB

Share Result on Facebook

City

A SAT / Austin / /

Company

Synopsys / ABC / MIT Press / Industrial Critical Systems / Altera / AMD / CA 2 IBM Systems / Xilinx / Intel / Actel / Technology Group / /

/

Facility

University of California / /

IndustryTerm

logic network / logic networks / technology mapping / verification algorithms / technology mapping algorithm / sequential network / /

OperatingSystem

GNU/Linux / /

Organization

National Science Foundation / AIG PI / MIT / UC Berkeley / University of California / Berkeley / Alan Mishchenko1 Robert Brayton1 Department of EECS / U.S. Securities and Exchange Commission / /

Person

J. Baumgartner / V / A. Kuehlmann / V / Seq / C. Artho / V / /

Position

Candidate / /

ProvinceOrState

California / /

Technology

FPGA / proposed algorithm / CAV / verification algorithms / Linux / http / simulation / LUTbased technology / retiming-based technology mapping algorithm / pdf / CAD / /

URL

http /

SocialTag